GNU Prolog (64-bit)

Szoftver screenshot:
GNU Prolog (64-bit)
Szoftver adatai:
Változat: 1.4.3
Feltöltés dátuma: 23 Jan 15
Fejlesztő: Daniel Diaz
Engedély: Ingyenes
Népszerűség: 792
Méret: 4677 Kb

Rating: 3.5/5 (Total Votes: 2)

GNU Prolog egy ingyenes Prolog-fordítónak kényszer megoldása véges területen. GNU Prolog elfogadja Prolog a megszorítás programok és gyárt natív bináris (mint a gcc nem egy C forrás). A kapott futtatható ezután önálló. A méret Ez a program lehet kisebb, mivel GNU Prolog elkerülheti összeköti a kódot a legtöbb kihasználatlan beépített predikátumok. Az előadások a GNU Prolog nagyon biztatóak (összehasonlítva a kereskedelmi rendszerek). Mellette a natív kód összeállítása, GNU Prolog kínál klasszikus tolmács (felső szintű) egy debugger.

A Prolog része megfelel az ISO szabvány Prolog sok kiegészítéssel nagyon hasznos a gyakorlatban (globális változók, OS interfész, és konnektorok). GNU Prolog is hatékony kényszer-megoldó véges tartományok (FD). Ez megnyitja korlát logikai programozás, hogy a felhasználó egyesíti az erejét korlátozás programozás a declarativity logikai programozás. Jellemzők megfelel az ISO szabvány Prolog, sor szerkesztés lehetőség az interaktív tolmács befejezése a atomokat, kétirányú interfész között Prolog és C, natív kódú fordító termelő önálló futtatható, egyszerű parancssoros fordítót elfogadó különféle fájlokat, előre meghatározott korlátok: az aritmetikai korlátok, logikai korlátok, szimbolikus korlátok, és a tárgyiasult megszorítások, előre meghatározott felsorolás heurisztika, és a felhasználó meghatározhatja saját új megszorításokra.

Támogatott operációs rendszerek

Hasonló program

Aurora Compiler
Aurora Compiler

11 Jul 15

Emergence Basic
Emergence Basic

10 Jul 15

pdScript
pdScript

25 Jan 15

ScriptCryptor
ScriptCryptor

2 Oct 16

Más szoftver fejlesztő Daniel Diaz

Hozzászólások a GNU Prolog (64-bit)

Hozzászólás nem található
Megjegyzés hozzáadása
Kapcsolja be a képeket!