Prolog IV(ID:5520/pro045)

Prolog II with extra constraints etc 

from Contraints FAQ:
"Prolog IV is an ISO-compliant replacement for the Prolog III language. It incorporates all the main features of Prolog III with some important changes. Prolog IV allows programmers to express a wide variety of constraints over real and rationnal numbers, integers (finite domains), booleans and lists.

In addition to expressing classical linear programming problems on discrete and continuous quantities this permits among other things the adressing of mixed real/integers problems and the use of boolean operations to formalize constraint disjunctions. The algorithms include a non-optimised algorithm for lists (different from Prolog III), Gauss and Simplex algorithms for equations and linear inequalities over rationals, and an interval method for approximate solving of non-linear constraints over reals. The compiler is integrated into a complete graphic programming environnment featuring the following tools: project editor, multi-window text editor, grapher, debugger, and on-line help. "
Related languages
Prolog III => Prolog IV   Evolution of
References:
  • Narboni, Guy A. "From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited" Constraints 4(4) December 1999 pp313-335 view details Abstract: Constraint programming languages stem from the integration of constraints in conditional rules. By taking a close look at the design choices made for Prolog IV, the author retraces the general evolution of this recent and novel paradigm, from its roots in inference systems and optimization, to its applications in model building and problem solving.