scientific article; zbMATH DE number 4043301

MaRDI QIDQ3780488zbMATH OpenFDO

Authors John Staples, Peter J. Robinson

Publication date 1987

zbMATH Keywords

functional programming languagesimplementationlogic programming languagesmatchingProlog interpreterquantified termsquantifier syntaxunification algorithm

Mathematics Subject Classification ID

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

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

(6)

• Efficient unification of quantified terms
• IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM
• scientific article; zbMATH DE number 1285772 (Why is no real title available?)
• scientific article; zbMATH DE number 970731 (Why is no real title available?)
• Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving
• Structure sharing for quantified terms: Fundamentals

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)