Pack xlibrary -- prolog/linearize.pl

Did you know ...

Search Documentation:

Pack xlibrary -- prolog/linearize.pl

Public

Show source

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatria
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic Programming
- External collections▶
  - Meta level tutorials
- For packagers▶
  - Linux packages
COMMUNITY
USERS
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

linearize(+SubTermType, +Term, -Linear, List, Tail) is det: If SubTermType is term, replace bounded variables in Term so that it becomes linear, and place it with Linear. If SubTermType is atom, do such replacement with atomic values in the term. List collects the performed substitutions in the form of Substitution=OriginalSubTerm.