Sciweavers

SLP
1993

Declarative Programming in Prolog

14 years 23 days ago
Declarative Programming in Prolog
We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative interpretation. More specifically, we discuss termination of Prolog programs, partial correctness, absence of errors and the safe use of negation.
Krzysztof R. Apt
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1993
Where SLP
Authors Krzysztof R. Apt
Comments (0)