Sciweavers

SLP
1993
86views more  SLP 1993»
14 years 24 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 int...
Krzysztof R. Apt