A metalogic programming approach: language, semantics and applications

DOI10.1080/09528139408953789MaRDI QIDQ4305334zbMATH OpenOpenAlexWikidataFDO

Authors Stefania Costantini, Gaetano Aurelio Lanzarone

Publication date 12 October 1994

Published in Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/09528139408953789

zbMATH Keywords

automated reasoningdeclarative knowledge representation languagesHorn clausesknowledge-based systemsreflective prolog

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• scientific article; zbMATH DE number 1761432
• On the declarative and procedural semantics of definite metalogic programs
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications

Cites work

• An analysis of loop checking mechanisms for logic programs
• Horn clause computability
• scientific article; zbMATH DE number 3135814 (Why is no real title available?)
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• scientific article; zbMATH DE number 4090844 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 194582 (Why is no real title available?)
• scientific article; zbMATH DE number 3273123 (Why is no real title available?)
• scientific article; zbMATH DE number 3387290 (Why is no real title available?)
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Logic and semantic networks
• Prolegomena to a theory of mechanized formal reasoning
• Transfinite recursive progressions of axiomatic theories

Cited in

(27)

• MetaSoft primer. Towards a metalanguage for applied denotational semantics
• MetaML and multi-stage programming with explicit annotations
• Theory and practice of unparsed patterns for metacompilation
• scientific article; zbMATH DE number 1612495 (Why is no real title available?)
• scientific article; zbMATH DE number 1696865 (Why is no real title available?)
• scientific article; zbMATH DE number 1696884 (Why is no real title available?)
• Program Logics for Homogeneous Meta-programming
• scientific article; zbMATH DE number 4180832 (Why is no real title available?)
• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• scientific article; zbMATH DE number 4164204 (Why is no real title available?)
• scientific article; zbMATH DE number 4076581 (Why is no real title available?)
• scientific article; zbMATH DE number 4075049 (Why is no real title available?)
• scientific article; zbMATH DE number 22193 (Why is no real title available?)
• Abstract metaprolog engine
• Hierarchical representation of legal knowledge with metaprogramming in logic
• scientific article; zbMATH DE number 978237 (Why is no real title available?)
• Meta-programming in CLP(R)
• Reflection principles in computational logic
• scientific article; zbMATH DE number 1761432 (Why is no real title available?)
• scientific article; zbMATH DE number 1855614 (Why is no real title available?)
• On the declarative and procedural semantics of definite metalogic programs
• Meta-predicate semantics
• In praise of impredicativity: a contribution to the formalization of meta-programming
• Adding Metalogic Features to Knowledge Representation Languages*
• A metalanguage for guarded iteration
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Lightweight functional logic meta-programming

This page was built for publication: A metalogic programming approach: language, semantics and applications

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