GNU Prolog (64-bit) 1.4.3

GNU Prolog är en fri Prolog kompilator med tvång lösa över ändliga domäner. GNU Prolog accepterar Prolog med villkorsprogram och producerar infödda binärer (som gcc gör från en C-källa). Den erhållna körbara sedan fristående. Storleken på denna körbar kan...