GNU Prolog (64-bit) 1.4.3

GNU Prolog ist eine kostenlose Prolog-Compiler mit Einschränkung der Lösung über endlichen Domänen. GNU Prolog akzeptiert Prolog mit Constraint-Programmen und produziert natives Binärdateien (wie gcc aus einer C-Quelle). Das erhaltene ausführbare wird...