Verification of logic programs with delay declarations

DOI10.1007/3-540-60043-4_47zbMath1496.68082OpenAlexW1532248060MaRDI QIDQ5096380

Ingrid Luitjes, Krzysztof R. Apt

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/10457

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (2)

A relaxed condition for avoiding the occur-check ⋮ Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations

Cites Work

• Negation and control in PROLOG
• An Efficient Unification Algorithm
• Algorithm = logic + control
• Correctness of unification without occur check in prolog
• Termination of logic programs: the never-ending story
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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