SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE

DOI10.1142/S0129054190000175MaRDI QIDQ3358245zbMATH OpenFDO

Authors Stefania Costantini

Publication date 1990

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0129054190000175

zbMATH Keywords

Horn-clause language semanticsmetalogic programmingReflective Prolog

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99)

Recommendations

• A metalogic programming approach: language, semantics and applications
• On the declarative and procedural semantics of definite metalogic programs
• Towards a logical semantics for pure Prolog
• scientific article; zbMATH DE number 26616
• scientific article; zbMATH DE number 1761432

Cited in

(19)

• MetaSoft primer. Towards a metalanguage for applied denotational semantics
• Denotational semantics in the cpo and metric approach
• Representing structural language features in formal meta-languages
• scientific article; zbMATH DE number 1612495 (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 4164204 (Why is no real title available?)
• scientific article; zbMATH DE number 3980456 (Why is no real title available?)
• scientific article; zbMATH DE number 4075049 (Why is no real title available?)
• Hierarchical representation of legal knowledge with metaprogramming in logic
• A metalogic programming approach: language, semantics and applications
• scientific article; zbMATH DE number 978237 (Why is no real title available?)
• scientific article; zbMATH DE number 2006634 (Why is no real title available?)
• scientific article; zbMATH DE number 1761432 (Why is no real title available?)
• On the declarative and procedural semantics of definite metalogic programs
• Meta-predicate semantics
• 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

This page was built for publication: SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE

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