| Did you know ... | Search Documentation: |
 | Pack anti_unify -- prolog/anti_unify.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- anti_unify(?A, ?B, ?LGG) is semidet
- anti_unify/3 maintains the relation that LGG is the least general
generalization of A and B.
See the unit tests for examples.