7 search results - page 2 / 2 » iclp 1993 |
ICLP
1993
Springer
13 years 9 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
ICLP
1993
Springer
13 years 9 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...