Modelling Prolog Control

DOI10.1093/LOGCOM/3.6.579zbMATH Open0802.68026OpenAlexW2091757904MaRDI QIDQ4286208FDOQ4286208

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

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

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)

Cited In (5)

• A logical semantics for depth-first Prolog with ground negation
• \textsc{Tor}: modular search with hookable disjunction
• Title not available (Why is that?)
• Oracle semantics for Prolog
• Automating control for logic programs

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)