On the declarative and procedural semantics of definite metalogic programs

DOI10.1093/LOGCOM/6.3.363zbMATH Open0851.68011OpenAlexW2049106193MaRDI QIDQ4885624FDOQ4885624

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

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

zbMATH Keywords

amalgamationmetalanguageprocedural semanticsobject languagedefinite metalogic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (3)

• MetaSoft primer. Towards a metalanguage for applied denotational semantics
• In praise of impredicativity: a contribution to the formalization of meta-programming
• Title not available (Why is that?)

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)