APL2 implementations of 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 |
Unification is one of the fundamental algorithms of logic programming. It is fundamentally a pattern matching process which includes variables that match anything. This paper explores various alternatives for the APL2 programmer to create unification programs. The paper discusses the trade offs that the application programmer has to make as he analyzes the alternatives. Rather than advance a specific proposal as the best alternative, the reader is asked to make his own choice.