scientific article; zbMATH DE number 823595

MaRDI QIDQ4856950zbMATH OpenFDO

Authors John N. Crossley, John S. Jeavons

Publication date 8 October 1996

zbMATH Keywords

declarative semanticsformal logical systeminternal logiclogic programoperational semanticsprovable sequentsSLD-derivations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Declarative modeling of the operational behavior of logic languages
• Towards a logical semantics for pure Prolog
• scientific article; zbMATH DE number 826302
• scientific article; zbMATH DE number 4195154
• Is there an axiomatic semantics for standard pure Prolog?

Cited in

(12)

• Compositional operational semantics for Prolog programs
• Heterogeneous SLD resolution
• Top-down semantics of fair computations of logic programs
• Modelling Prolog Control
• scientific article; zbMATH DE number 549963 (Why is no real title available?)
• scientific article; zbMATH DE number 1973223 (Why is no real title available?)
• Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
• scientific article; zbMATH DE number 826302 (Why is no real title available?)
• Resultant semantics for prolog
• cr-models: An Inference Engine for CR-Prolog
• A geometric interpretation of LD-resolution
• Declarative modeling of the operational behavior of logic languages

This page was built for publication:

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