Next: Conventional definite clause semantics Up: A three-valued semantics for Previous: Synopsis for programmers

Motivation and background

Subsections

Conventional definite clause semantics
Intended interpretations are not models!
Types, assertions and preconditions
Three-valued declarative debugging
Missing answers and negation
Programs naturally have more than one meaning

2005-08-02