Designing APL2 programs for unification
James A. Brown, Ramiro Guerreiro · ACM SIGAPL APL Quote Quad · 1987
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.