Login / Signup
Total correctness of logic and pure Prolog programs.
Paolo Mascellani
Dino Pedreschi
Published in:
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Keyphrases
</>
prolog programs
logic programs
logic programming
computational properties
modal logic
answer set programming
case study
orders of magnitude
classical logic
predicate logic
data sets
databases
set theory
proof theory