The Qu-Prolog unification algorithm: formalisation and correctness

DOI10.1016/S0304-3975(96)00115-6zbMath0874.68134WikidataQ127952218 ScholiaQ127952218MaRDI QIDQ1349886

Peter Nickolas, Peter J. Robinson

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Related Items

Nominal unification ⋮ Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology ⋮ Contextual equivalence for inductive definitions with binders in higher order typed functional programming

Uses Software

• Qu-Prolog

Cites Work

• Substitution revisited
• A unification algorithm for typed \(\overline\lambda\)-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item