Prolog & Logical Programming & Constraint Programming

Next

Web
The title is a little messy but it's hard to split the subject.

BProlog B-Prolog is a compact and complete CLP system that runs Prolog and CLP(FD) programs. Version 6.5 has been released September 2003.

Programmation par contraintes (Laboratoire d'Informatique de Marseille, URA 1787 du CNRS, was gw-gia.univ-mrs.fr/Lim/ContComb /Contraintes/)

Note this Icon : External Link

means that the link you will follow is external to this site.