Daniel Diaz's Home Page
Associate Professor (Maître de Conférences)University of Paris 1 - Pantheon Sorbonne (FRANCE)
Previously: external CollaboratorINRIA center Rocquencourt (FRANCE)
GNU Prolog: a Prolog native compiler with constraint solving over Finite Domains
GNU Prolog is based on two previous compilers I wrote (no longer maintained):
Adaptive Search Library: a Library to Solve CSPs by a local search method.