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

Python (64-bit) er et objektorienteret programmeringssprog. Ren syntaks, højt niveau datastrukturer, dynamisk skrive, og rige støtte biblioteker med til at gøre Python et meget produktivt værktøj til mange typer af programmering. Omfattende støtte til...