Sciweavers

SAC
2000
ACM
13 years 9 months ago
The GNU Prolog System and its Implementation
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on finite domains. GNU-Prolog is based on a low-level mini-...
Daniel Diaz, Philippe Codognet