11 search results - page 1 / 3 » iclp 1998 |
ICLP
1998
Springer
13 years 8 months ago
1998
Springer
ICLP
1998
Springer
13 years 8 months ago
1998
Springer
ICLP
1998
Springer
13 years 8 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
ICLP
1998
Springer
13 years 8 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
ICLP
1998
Springer
13 years 8 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...