3481 search results - page 28 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
AAAI
2007
13 years 10 months ago
2007
AAAI
2006
13 years 9 months ago
2006
COMPSAC
2011
IEEE
12 years 7 months ago
2011
IEEE
PPDP
2004
Springer
14 years 28 days 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
13 years 11 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...