scientific article; zbMATH DE number 517056

MaRDI QIDQ4282584zbMATH OpenFDO

Authors Egon Börger, Dean Rosenzweig

Publication date 21 August 1994

zbMATH Keywords

logical specificationPrologset predicatesSLD-resolution

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• {log}: A language for programming in logic with finite sets
• Set abstraction - an extension of all solutions predicate in logic programming language
• Unifying theories for logic programming
• scientific article; zbMATH DE number 52720
• A mathematical definition of full Prolog

Cited in

(2)

• Set theory in predicate calculus with equality
• scientific article; zbMATH DE number 3874661 (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 Q4282584)