A declarative semantics for depth-first logic programs1The research reported here is based on Ref. [12].1

DOI10.1016/S0743-1066(98)10040-7zbMath0941.68535OpenAlexW1592696017MaRDI QIDQ4719372

Birgit Elbl

Publication date: 15 February 2000

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10040-7

zbMATH Keywords

bi-quantale semanticsdeclarative semantics for logic programsdepth-first evaluation

Mathematics Subject Classification ID

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

Related Items (2)

Proof-theoretic notions for software maintenance ⋮ A NON-DEFINABILITY RESULT FOR A PREDICATIONAL LANGUAGE WITH THE USUAL CONTROL

This page was built for publication: A declarative semantics for depth-first logic programs1The research reported here is based on Ref. [12].1