| Did you know ... | Search Documentation: |
 | Pack pac -- prolog/zdd/zdd-misc.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- subst_atomic(+M, +X, -Y) is det
- ( A naive version of substitution.)
With M being an assoc list as an assignment, but whose domain
may consist of any terms, Y is unified with M'(X) where M' is the induced
substitution by the assignment M.
?- zdd_misc:
subst_atomic([a-b, b-a], f(a, b), F). ?- zdd_misc:subst_atomic([a-b, b-a], f(c, d), F).