On the sequential nature of unification
Journal of Logic Programming
Artificial intelligence
Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
Principles of artificial intelligence
Principles of artificial intelligence
APL '85 Proceedings of the international conference on APL: APL and the future
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Designing APL2 programs for unification
APL '87 Proceedings of the international conference on APL: APL in transition
Implementation of predicate logic in APL2
APL '89 Conference proceedings on APL as a tool of thought
A bibliography of APL articles on modeling and KBES
ACM SIGAPL APL Quote Quad
| Hi-index | 0.00 |
This paper defines unification, the pattern matching process used in logic programming, and presents various alternatives for constructing algorithms