mirror of
https://github.com/Stichting-MINIX-Research-Foundation/pkgsrc-ng.git
synced 2025-08-03 01:38:07 -04:00
5 lines
268 B
Plaintext
5 lines
268 B
Plaintext
GNU Prolog is a native Prolog compiler with constraint solving over
|
|
finite domains (FD) developed by Daniel Diaz. A lot of work has been
|
|
devoted to the ISO compatibility. GNU Prolog is very close to the ISO
|
|
standard (http://www.logic-programming.org/prolog_std.html).
|