On the declarative and procedural semantics of definite metalogic programs

DOI10.1093/LOGCOM/6.3.363MaRDI QIDQ4885624zbMATH OpenOpenAlexFDO

Authors Christopher P. Higgins

Publication date 28 July 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/ba39acf55366620de08effa63d0adce0be853449

zbMATH Keywords

amalgamationmetalanguageprocedural semanticsobject languagedefinite metalogic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• A metalogic programming approach: language, semantics and applications
• Modal Logic and Negation as Failure
• Towards a logical semantics for pure Prolog
• A closer look at declarative interpretations

Cited in

(3)

• MetaSoft primer. Towards a metalanguage for applied denotational semantics
• In praise of impredicativity: a contribution to the formalization of meta-programming
• scientific article; zbMATH DE number 4180832 (Why is no real title available?)

This page was built for publication: On the declarative and procedural semantics of definite metalogic programs

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