GNU Prolog 1.5

GNU Prolog er en gratis Prolog-oversætteren med tvang løse over begrænsede domæner, der er udviklet af Daniel Diaz. GNU Prolog accepterer Prolog begrænsning programmer og producerer native-programmer (som gcc, ikke fra en C-kildekode). De opnåede eksekverbare er så stand-alone.
Størrelsen af denne fil, kan være ganske lille, da GNU Prolog kan undgå at knytte kode til de fleste ubrugte indbyggede prædikater. Opførelser af GNU Prolog er meget opmuntrende (svarende til kommercielle systemer). Ved siden af de indfødte-kode til kompilering af, GNU Prolog tilbyder en klassisk interaktive tolk (øverste niveau) med en debugger.
Det Prolog del er i overensstemmelse med ISO-standard for Prolog med mange udvidelser meget nyttigt i praksis (globale variabler, OS interface, stikkontakter,).GNU Prolog indeholder desuden en effektiv begrænsning solver over Begrænsede Domæner (FD). Dette åbner contraint logik programmering til brugeren ved at kombinere kraften fra constraint programming til declarativity af logik programmering.
Vigtigste funktioner:
- Prolog-system:
- opfylder ISO standarden for Prolog (floating point tal, vandløb, dynamisk kode).
- en masse udvidelser: globale variabler, bnf grammatikker (DCG), sockets-grænsefladen, operativsystem interface
- mere end 300 Prolog indbyggede prædikater.
- Prolog debugger og et lavt niveau WAM debugger.
- line redigering af faciliteten i henhold til de interaktive tolk med afslutningen på atomer.
- kraftig tovejs interface mellem Prolog og C.
- Compiler:
- native-kode til compileren, der producerer stand-alone eksekverbare filer.
- simpel kommando-linje compiler accept af en bred vifte af filer: Prolog filer, C-filer, WAM-filer,...
- direkte generation af forsamlingen kode 15 gange hurtigere end wamcc gcc.
- de fleste af ubrugte indbyggede prædikater er ikke forbundet (for at reducere størrelsen af den eksekverbare filer).
- der er udarbejdet prædikater (native-kode), så hurtigt som wamcc i gennemsnit.
- hørt prædikater (byte-kode) 5 gange hurtigere end wamcc.
- Begrænsning solver:
- FD variabler, der er godt integreret i det Prolog miljø (fuld kompatibilitet med Prolog variabler og heltal). Ingen grund til eksplicit FD erklæringer.
- meget effektiv, FD solver (svarende til kommercielle solvers).
- høj-niveau begrænsninger kan beskrives i form af enkle instruktioner.
- en masse foruddefinerede begrænsninger: aritmetik begrænsninger, boolean begrænsninger, symbolsk begrænsninger, tingsliggjorte begrænsninger,...
- flere foruddefinerede tælling heuristik.
- brugeren kan definere sin egen nye begrænsninger.
- mere end 50 FD indbyggede begrænsninger/prædikater.