3481 search results - page 28 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
AAAI
2007
14 years 12 months ago
2007
AAAI
2006
14 years 11 months ago
2006
88
Voted
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
LOPSTR
1997
Springer
15 years 1 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...