GNU Prolog är en gratis Prolog kompilator med tvång lösa över ändliga domäner som utvecklats av Daniel Diaz. GNU Prolog accepterar Prolog tvång program och producerar native-binärer (like gcc inte från en C-källa). Den erhållna körbar sedan stand-alone".
Storleken på denna körbara kan vara ganska liten eftersom GNU Prolog kan undvika att länka koden för de flesta oanvända inbyggda predikat. Föreställningar av GNU Prolog är mycket uppmuntrande (jämförbara med kommersiella system). Bredvid native-kod samlingar, GNU Prolog erbjuder en klassisk interaktiv tolk (översta nivån) med en debugger.
Den Prolog del överensstämmer med ISO-standard för Prolog med många tillägg mycket användbara i praktiken (globala variabler, OS-gränssnitt, - uttag,).GNU Prolog omfattar också en effektiv begränsning lösare över Ändliga Domäner (FD). Detta öppnar contraint logik programmering för användaren att kombinera kraften i constraint-programmering till declarativity av logik programmering.
Huvudsakliga funktioner:
- Prolog-systemet:
- uppfyller ISO-standard för Prolog (flyttal, bäckar, dynamisk kod).
- en hel del tillägg: globala variabler, bestämd paragraf grammatiker (DCG), uttag gränssnitt, operativsystem gränssnitt
- mer än 300 Prolog inbyggda predikat.
- Prolog debugger och en låg nivå WAM debugger.
- line redigering anläggning under den interaktiva tolken med tillägg på atomer.
- kraftfull dubbelriktad gränssnitt mellan Prolog och C.
- Kompilatorn:
- native-kod kompilator som producerar fristående körbara filer.
- enkel command-line-kompilator acceptera ett brett utbud av filer: Prolog filer, C-filer, WAM filer,...
- direkt generation av assembly-kod 15 gånger snabbare än wamcc gcc.
- de flesta av oanvända inbyggda predikat är inte kopplade (för att minska storleken av den körbara filer).
- sammanställt predikat (native code) så snabbt som wamcc i genomsnitt.
- hört-predikat (byte-kod) 5 gånger snabbare än wamcc.
- Tvång lösare:
- FD variabler som är väl integrerade i Prolog miljö (full kompatibilitet med Prolog variabler och heltal). Inget behov av explicit FD förklaringar.
- mycket effektiv FD solver (jämförbara med kommersiella lösare).
- hög nivå begränsningar som kan beskrivas i termer av enkla primitiver.
- en hel del fördefinierade begränsningar: aritmetik begränsningar, boolean begränsningar, symboliska begränsningar, reified begränsningar,...
- flera fördefinierade uppräkning av heuristik.
- användaren kan definiera sina egna begränsningar.
- mer än 50 FD inbyggda begränsningar/predikat.
Kommentarer