scientific article; zbMATH DE number 512898

MaRDI QIDQ4281605zbMATH OpenFDO

Authors Agostino Dovier, Enrico Pontelli

Publication date 10 March 1994

zbMATH Keywords

abstract machineconstraints managementlogic programming languageset-constraintsunification algorithmWarren Abstract Machine

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Implementing CLP(\(\mathbb{B}{}\)) using the connection theorem proving method and a clause management system
• An abstract machine for the implementation of PARLOG on uniprocessors
• Set constructors in a logic database language
• Towards the uniform implementation of declarative languages
• A logic programming language with lambda-abstraction, function variables, and simple unification

Cited in

(4)

• Implementing CLP(\(\mathbb{B}{}\)) using the connection theorem proving method and a clause management system
• Implementation of axiomatic language
• Towards the uniform implementation of declarative languages
• scientific article; zbMATH DE number 1479612 (Why is no real title available?)

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 Q4281605)