Modelling Prolog Control

DOI10.1093/LOGCOM/3.6.579MaRDI QIDQ4286208zbMATH OpenOpenAlexFDO

Authors Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi

Publication date 27 March 1994

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/a639097b26fe7d66621c221c1f03d045ea00cb41

zbMATH Keywords

abstract interpretationdeclarative semanticslogic programmingoperational semanticsprogram analysisProlog programstermination

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4078852
• Prolog's control constructs in a functional setting -- axioms and implementation
• Automating control for logic programs
• scientific article; zbMATH DE number 4003495
• scientific article; zbMATH DE number 1304441
• scientific article; zbMATH DE number 1531362
• scientific article; zbMATH DE number 4172365
• Negation and control in PROLOG
• scientific article; zbMATH DE number 823595

Cited in

(5)

• A logical semantics for depth-first Prolog with ground negation
• \textsc{Tor}: modular search with hookable disjunction
• Oracle semantics for Prolog
• Automating control for logic programs
• scientific article; zbMATH DE number 1420822 (Why is no real title available?)

This page was built for publication: Modelling Prolog Control

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