scholarly journals Foundational issues in implementing constraint logic programming systems

1994 ◽  
pp. 74-88
Author(s):  
James H. Andrews
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Programming Systems

Constraint Logic Programming Using ECLiPSe

2006 ◽  
Author(s):  
Krzysztof R. Apt ◽  
Mark Wallace
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming

ILPNET repositories on WWW: Inductive Logic Programming systems, datasets and bibliography

1996 ◽  
Vol 9 (4) ◽  
pp. 157-206 ◽  
Author(s):  
Nada Lavrač ◽  
Irene Weber ◽  
Darko Zupanič ◽  
Dimitar Kazakov ◽  
Olga Štěpánková ◽  
...  
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Programming Systems

scholarly journals Enhancing disjunctive logic programming systems by SAT checkers

2003 ◽  
Vol 151 (1-2) ◽  
pp. 177-212 ◽  
Author(s):  
Christoph Koch ◽  
Nicola Leone ◽  
Gerald Pfeifer
Keyword(s):  
Logic Programming ◽  
Programming Systems

Constructive negation and constraint logic programming with sets

2001 ◽  
Vol 19 (3) ◽  
pp. 209-255 ◽  
Author(s):  
Agostino Dovier ◽  
Enrico Pontelli ◽  
Gianfranco Rossi
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Constructive Negation
Sign in / Sign up

Export Citation Format

Share Document