| Did you know ... | Search Documentation: |
 | Pack xlibrary -- prolog/linearize.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- linearize(+SubTermType, +Term, -Linear, List, Tail) is det
- If SubTermType is vars, replace unbounded variables in Term so that it becomes linear, and place it with Linear. If SubTermType is atms, do such replacement with atomic values in the term. List collects the performed substitutions in the form of Substitution=OriginalSubTerm.