Termination of logic programs with delay declarations

DOI10.1016/S0743-1066(98)10034-1zbMath0947.68025OpenAlexW2065067255MaRDI QIDQ4700387

Elena Marchiori, Frank Teusink

Publication date: 1 November 1999

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)10034-1

zbMATH Keywords

delay recurrent programsrecurrent logic program

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations ⋮ Proving correctness of Constraint Logic Programs with dynamic scheduling

This page was built for publication: Termination of logic programs with delay declarations