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...

Python (64 Bit) ist eine objektorientierte Programmiersprache. Saubere Syntax, High-Level-Datenstrukturen, dynamische Typisierung und Rich-Support-Bibliotheken zu kombinieren, um Python ein sehr produktives Werkzeug für viele Arten der Programmierung...