80
Voted
ICLP
1989 Springer Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism
15 years 4 months ago
It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of...
75
Voted
ICLP
15 years 4 months ago
1989 Springer  56
Voted
ICLP
15 years 4 months ago
1989 Springer ICLP
15 years 4 months ago
1989 Springer 
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
|
Automated Reasoning