scientific article; zbMATH DE number 4043301

zbMATH Open0639.68098MaRDI QIDQ3780488FDOQ3780488

Authors: John Staples, Peter J. Robinson 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Title not available (Why is that?)
• IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM
• Efficient unification of quantified terms
• 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)