GNU Prolog (64-bit) 1.4.3

GNU Prolog is een gratis Prolog compiler met dwang oplossen over eindige domeinen. GNU Prolog accepteert Prolog met dwang programma's en produceert inheemse binaries (zoals gcc doet vanuit een C-bron). De verkregen uitvoerbare wordt dan stand-alone....