The Prolog III programming language extends Prolog by redefining the fundamental process at its heart: unification. This article presents the specifications of this new language and illustrates its capabilities.
No takes yet. Share an insight, caveat, or question.
Alain Colmerauer (1990) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: