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

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

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

(17)

• Denotational semantics in the cpo and metric approach
• scientific article; zbMATH DE number 1761432 (Why is no real title available?)
• MetaSoft primer. Towards a metalanguage for applied denotational semantics
• Meta-predicate semantics
• scientific article; zbMATH DE number 3980456 (Why is no real title available?)
• scientific article; zbMATH DE number 2006634 (Why is no real title available?)
• scientific article; zbMATH DE number 4075049 (Why is no real title available?)
• Program Logics for Homogeneous Meta-programming
• A metalanguage for guarded iteration
• scientific article; zbMATH DE number 4164204 (Why is no real title available?)
• Adding Metalogic Features to Knowledge Representation Languages*
• scientific article; zbMATH DE number 1696884 (Why is no real title available?)
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• scientific article; zbMATH DE number 978237 (Why is no real title available?)
• Representing structural language features in formal meta-languages
• On the declarative and procedural semantics of definite metalogic programs
• scientific article; zbMATH DE number 1612495 (Why is no real title available?)

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)