CORR
2010
Springer
13 years 11 months ago
2010
Springer
(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
SLP
1993
14 years 9 days ago
1993
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...
ISCA
1987
IEEE
14 years 2 months ago
1987
IEEE
This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to sup...