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 interpretationlogic programmingterminationoperational semanticsprogram analysisdeclarative semanticsProlog programs

Mathematics Subject Classification ID

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

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
• Publication:3197303
• Negation and control in PROLOG
• scientific article; zbMATH DE number 823595

Cited in

(5)

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

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)