GNU Prolog (64-bit) 1.4.3

GNU Prolog er en gratis Prolog compiler med tvang løse over endelige domæner. GNU Prolog accepterer Prolog med constraint-programmer og producerer indfødte binære filer (som gcc gør fra en C-kilde). Den opnåede eksekverbare derefter enkeltstående....