3481 search results - page 77 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
POPL
2000
ACM
15 years 2 months ago
2000
ACM
IFIP
1994
Springer
15 years 1 months ago
1994
Springer
ECOOP
2007
Springer
15 years 1 months ago
2007
Springer
AGP
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...