scientific article; zbMATH DE number 4043301

MaRDI QIDQ3780488zbMATHFDO

Authors John Staples, Peter J. Robinson

Publication date 1987

zbMATH Keywords

matchingimplementationlogic programming languagesunification algorithmfunctional programming languagesquantified termsProlog interpreterquantifier syntax

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Recommendations

• Efficient unification of quantified terms
• The Qu-Prolog unification algorithm: formalisation and correctness
• scientific article; zbMATH DE number 36613
• scientific article; zbMATH DE number 3930372
• scientific article; zbMATH DE number 4016225

Cited in

(4)

• IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM
• Structure sharing for quantified terms: Fundamentals
• scientific article; zbMATH DE number 1285772 (Why is no real title available?)
• Efficient unification of quantified terms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3780488)