Logtalk

Szponzorált linkek:
Szoftver screenshot:
Logtalk
Szoftver adatai:
Változat: 3.20 Frissítve
Feltöltés dátuma: 26 Oct 18
Fejlesztő: Logtalk
Engedély: Ingyenes
Népszerűség: 11
Méret: 4410 Kb

Rating: 4.0/5 (Total Votes: 4)

Szponzorált linkek:


        A Logtalk egy objektumorientált logikai programozási nyelv, amely a legtöbb Prolog implementációt hátsó fordítóprogramként használhatja. Többféle paradigmaválasztási nyelvként a Logtalk támogatja mind a prototípusokat, mind az osztályokat, a protokollokat (interfészeket), az összetett alapú programozást a kategóriákon alapuló összetétel, az eseményvezérelt programozás és a magas szintű többszálas programozás révén.
    

Az újdonság ebben a kiadásban:

* IMPROVED: Kerülje el a hamis, hiányzó `meta_predicate / 1` irányelv figyelmeztetéseket, ha az aktuális metakémus nem osztozik változókkal a záradék fejét.


* JAVASOLT: Engedélyezze a lambda kifejezéseket a nyelvtanban, anélkül, hogy "call // 1" wrapperre lenne szüksége.


* FIXED: Optimalizálási hiba egy záró meta-argumentum összeállításakor, amikor az eredményként kapott cél a Prolog beépített predikciójának hívása egy felhasználói predikátum definíciójának beillesztése miatt.


* FIXED: Optimalizálási hiba egy záró meta argumentum összeállításakor, amikor az eredményként kapott cél a Prolog `: / 2` vezérlő konstrukcióhoz való hívás.

Újdonság 3.19-es verzió:

* ADDED: Támogatás további Prolog beépített predikátumok meghatározására a szösznek
a célok ellenőrzése, amelyek mindig igazak vagy hamisak az illesztőfájlokhoz a
hook predicate `'$ lgt_candidate_tautology_ vagy_falsehood_goal_hook' / 1`.


* ADDED: Az objektum tulajdonsága `module` az összeállításból származó objektumokhoz
a Prolog modulok.


* ADDED: Kényelmi hiba a beépített módszerek `syntax_error / 1` és
`System_error / 0`. Ezek a módszerek elutasítják a standard "error / 2" kivételeket
és egyenértékűek a "context / 1" és a "throw / 1" módú hívások sorozataival.


* ELTÁVOLÍTOTT: Támogatás az elavult Logtalk 2.x `calls / 1`,` uses / 1`, és
`alias / 3` direktívák.


* ELTÁVOLÍTOTT: Az elavult Logtalk 2.x `: / 1` vezérlő konstrukció támogatása.


* ELTÁVOLÍTOTT: az elavult Logtalk 2.x "unknown", "singletons"
`tmpdir` és` version` fordítói zászlók.

Az újdonság a 3.14-es verzióban:

ÚJ: Támogatás _paraméterváltozókhoz_ alternatívaként a
`parameter / 2` és` this / 1` beépített módszerek az entitás paramétereinek eléréséhez.
A paraméterváltozók a paraméteres entitásazonosítóban használt változók
amely aláhúzáskor kezdődik és végződik (`_VariableName_`). Bármilyen előfordulás
egy paraméterváltozó egy entitásbeli záradékban implicit módon egyesítve van a
entitás paraméter. Ez lehetővé teszi entitásparaméterek hozzáadását, átrendezését, vagy
eltávolításra kerül, anélkül, hogy változtatásokra lenne szükség a számukra vonatkozó megfogalmazások tekintetében.
A paraméterváltozókat csak a (z) -ben definiált paraméteres entitások támogatják

Újdonság a 3.13-as verzióban:

ÚJ: A fordító támogatja a helyi statikus predikátumok hívásait a megfelelő záradékok nélkül ).

Az újdonság a 3.11.1 verzióban:

* IMPROVED: A fordító figyelmeztetése és a hibaüzenetek egységesítetté teszik a szerkesztőket és az IDE-ket, és elkerülik a potenciálisan nagy jelentések nyomtatását.


* JAVÍTOTT: A fordító már nem igényel hívásokat az adatbázisra és a reflexiós predikátumokra, ahol az első argumentum egy modulkímélő kifejezés, amelyet a `{} / 1` fordító bypass-vezérlő konstrukcióval kell beilleszteni.


* IMPROVED: Adatbázis és reflexiós predikátumok fordítóhiba-ellenőrzése, ahol az első argumentum modul-minősített kifejezés.


* IMPROVED: Csökkentse a "logtalk_make / 0-1" predikátumok által kezdeményezett fájláttöltések számát.


* FIXED: Olyan eset, amikor a `logtalk_make / 0-1` predikátumok nem töltik be újra olyan fájlt, amelynek a fordítása fordító hibát generált.

Mi új a 3.11-es verzióban:

* CHANGED: A beépített "current_event / 5" predikátum mindig feltünteti az első argumentumot, amikor nincs megkötve.


* HOZZÁADOTT: Támogatás az alapértelmezett karcolási könyvtár megadásával
a könyvtár alias `scratch_directory` egy hátsó Prolog inicializáló fájlban
(feltételezhető, hogy betöltésre kerültek a Logtalk betöltése előtt). Vita után
Douglas R. Miles a Logtalk telepítését egy csak olvasható könyvtárban támogatja
és egyszerre több Logtalk példányt futtatnak ütközés nélkül.


* ADDED: A "context / 1" beépített kontextus végrehajtási módja a hozzáféréshez
egy predikátumhívás-végrehajtási kontextusba. Elsősorban az alapértelmezés biztosításához használatos
hibakörnyezet, amikor a típus-ellenőrzés predikátum argumentumokat.


* ADDED: Támogatja a `debug` és` debug (_) `üzenetek nyomtatását. Ezek
az üzenetek csak akkor nyomtatódnak ki, ha alapértelmezésben a `debug` jelző be van kapcsolva.


* ADDED: Az ingatlan `tartalmazza (fájl)` a `logtalk :: loaded_file_property / 2` -hoz
predikátum, hogy lehetővé tegye a visszaütéshez tartozó összes fájl felsorolását a

Újdonság a 3.10.7-es verzióban:

* RENAMED: A `logtalk_make / 1` cél" hiányzik "a` check'-hoz.


* ADDED: Támogatás a `logtalk_make / 1` célok kiterjesztésére a felhasználó által definiált módon
az új multifile predicate "logtalk_make_target_action / 1" felhasználásával.


* ADDED: A compiler lint ellenőrzi a tautológia és a hamis entitás céljait.
Jelenleg ellenőrzik a Prolog egyesítése, összehasonlítása és típusa
beépített predikátumok tesztelése. Ajánlott: Barry Evans.

Az újdonság a 3.10.5 verzióban:

* FIXED: A 3.10.2 kiadásban bevezetett regresszió a meta-hívás végrehajtásakor kontextus beépített módszerek.

* KIJELZŐ: A Prolog beépített predikátumok és függvények által generált funkciók (általában a kifejezés-bővítő mechanizmus által generált) által küldött hívások hordozhatósági ellenőrzéseinek eredményeképpen létrejövő fordító hiba.

Újdonság strong> a 3.10.3-as verzióban:

* IMPROVED: Többfájós predikátumokhoz létrehozott egyszerűsített kód.


* FIXED: A korábbi kiadás regressziója többfájl készítésében
predikciós záradékokat, amelyek a

Újdonságok kifejezést a

a 3.09.1 ​​verzióban hívják:

* ADDED: Támogatás a `number_of_rules / 1` és` number_of_user_rules / 1` objektumhoz
és kategória tulajdonságait.


* ADDED: Támogatja a `number_of_rules / 1` predicate tulajdonságot.


* ADDED: Az "meta_predicate / 1" irányelvek észlelése, amelyek pontosan meghatározzák a célt
meta-argumentum, ami valójában egy bezárás a `call / 2-N` meta-predikátumnak
felhívja. Köszönet Arun Majumdarnak a jelentésért.


* ADDED: A hiányzó predikciós hatókörű irányelvek kimutatása a

Az újdonság a 3.09.0 verzióban:

* CHANGED: home könyvtár
ha nem található az indítókönyvtárban vagy a Logtalk felhasználói könyvtárban.
A `settings_file` jelző beállítása 'korlátozza' most korlátozza a keresést
egy beállítási fájlt a Logtalk felhasználói könyvtárhoz és a felhasználó főkönyvtárához.
Ez a változtatás akkor hasznos, ha egy csapat Logtalk telepítést oszt meg mindkettővel
a "LOGTALKHOME" és a "LOGTALKUSER" környezeti változók
ugyanazt a könyvtárat. Köszönjük Barry Evansnek a javaslatot.

Az újdonság a 3.08.0 verzióban:

* CHANGED: A fájl és a vonalinformációk mindig a jelentett probléma utolsó sorát jelentik.

Az újdonság a 3.07.0 verzióban:

* ADDED: A "unicode" csak olvasható jelző a Prolog fordítóprogram lefordításához
támogatja a Unicode szabványt.


* ADDED: Támogatja a `++` (föld) és `--` (nem kötődő) argumentum instantiációt
módokat (előtagként deklarálva) a "mode / 2" predikátumhoz
irányelv.


* ADDED: Támogatás a `one_or_error` determinizmus specifikációhoz a` mode / 2`-ban
predikciós irányelvek. Hasznos a típusellenőrzési predikátumok dokumentálásához.


* IMPROVED: Megfigyeli a próbálkozásokat, hogy egzisztenciálisan számszerűsített célokat hívjanak meg a
a "bagof / 3" és a "setof / 3" hívások hatóköre.


* FIXED: A `uses / 2` direktívák összeállításakor ne hozzon létre kapcsolódási záradékot
futásidejű használat a beépített predikátumoknál a `user`-ban, ha nincs alias definiálva.


* RÖGZÍTETT: Ha egy fájl összefoglaló hibáját propagálja a szülői fájlokra,
győződjön meg róla, hogy a fájl ősei újra betöltődnek a felső őstől kezdve
a make mechanizmussal.


* FIXED: A "logtalk_make / 0" vagy a "logtalk_make / 0" meghívásakor ne keressen újratöltési fájlokat
`logtalk_make / 1` a cél 'all`.


* FIXED: A hiányzó predikátumok észlelése a `^^ / 1` hívásoknál hívás közben
`logtalk_make / 1` a cél hiányában.

* FIXED: hiba a reflexiós API-ban, ahol bizonyos predikciós kereszthivatkozás
az információkat nem rögzítették. Köszönet Edward Schwartznak a hibajelentésért.

Az újdonság a 3.06.2-es verzióban:

Ez a kiadás folytatja a fejlesztői eszközök javítását a Kyndi, Inc. szponzora. Ez tartalmazza a csomagolástechnikai eszköz új verzióját a sima Prolog alkalmazások, valamint az lgtunit és diagramok eszközeinek javítására és javítására. Ezenkívül új egységvizsgálatokat, fordító- és dokumentációs javításokat, valamint a Lean Prolog kompatibilitási frissítését tartalmazza.

Újdonság a 3.04.1-es verzióban:

* FIXED: A fordító hiba, ha egy predikátum, amelyet a "compile_aux_clauses / 1" metódus meghívásával kifejezésre bocsátott, hibásnak bizonyulhat.


* FIXED: A `user` pszeudo objektumon belül a" threaded_notify / 1 "beépített predikátumhoz intézett hívások nem igényelnek egy kötelező argumentumot dokumentáció szerint.


* FIXED: A "object_property / 2" és a category_property / 2 "beépített predikátumok a` number_of_clauses / 1` vagy a `number_of_user_clauses / 1` tulajdonságú argumentumokkal determinisztikusak.

Mi az új a 3.03.0 verzióban:

* ADDED: Új logtalk_make / 1` cél, `missing`, a hiányzó entitások és predikátumok listájának támogatása. A '{?}' Parancsikon is elérhető.

* ADDED: Új "logtalk_make / 1" cél, "körlevél" támogatása, az objektumok párok és triók közötti körlevelek (az üzenetek küldésére vonatkozó célok figyelembevételével) felsorolásához. A '{@}' parancsikon is elérhető.

* IMPROVED: Hozzáad egy könyvtár hash-ot a köztes Prolog fájlnevekhez, hogy segítsen elkerülni a fájlnév ütközését, amikor összegyűjtik az összes közbenső fájlt ugyanabban a könyvtárban a beágyazáshoz. Jelenleg az ECLiPSe, a GNU
Prologot, JIPrologot, Quintus Prologot, SICStus Prologot, SWI-Prologot, XSB-t vagy YAP-ot.

* FIXED: Meta-predikciós hívásoptimalizáló hiba, ha egy meta-argumentum egy előre összeállított bezárás vagy zárás egy célhoz, amelyet a
`user` pseudo-objektum. Szigorúbb hibaellenőrzést is alkalmazzunk a meta-argumentumok bezárásához.

* FIXED: A parametrikus objektum és a paraméteres kategória azonosítóinak hibás nyomtatása hiba és figyelmeztető üzenetek esetén.

Az újdonság a 3.02.2-es verzióban:

* FIXED: hiba a lambda kifejezésekben a "true / 0" kifejezéssel, mint a lambda
cél. Köszönet Boris Vassilevnek a hibajelentésért.


* FIXED: A `logtalk_make / 1` predikció sikerrel jár (figyelmeztetés nyomtatása után
üzenet), ha a nem helyettesíthető vagy érvénytelen argumentummal hívják ahelyett, hogy
hiányában. hoz
generált köztes Prolog fájlokat egy multifile predikátum jobb
beágyazási élmény. Figyelemre méltó, hogy könnyebbé teszi a növekményes beágyazást.


* IMPROVED: A make predicates most újra töltse fel a fájlok szülő fájlait
összeállítás vagy betöltési hibák. Ez biztosítja, hogy ha a hibás fájl megszakítja a
a betöltő fájlban lévő összes fájl összeállítása, a fájlok a hibás után felsorolt ​​fájlok
akkor a fájl össze fog fordulni, amikor a hibás fájl rögzítve van, és a make predicates

Újdonság a 3.02.1-es verzióban:

* IMPROVED: A betöltött fájlok futásidejű tábla bejegyzései most hozzáadódnak a generált Közbenső Prolog fájlokhoz egy többfájlos predikátum használatával a jobb beágyazási élmény érdekében. Figyelemre méltó, hogy könnyebbé teszi a növekményes beágyazást.
 * IMPROVED: A make predicates most újra töltse fel a fájlok szülõfájljait összeállítással vagy betöltési hibákkal. Ez biztosítja, hogy ha a hibás fájl megszakítja a betöltő fájl összes fájljának összeállítását, akkor a hibás fájl után felsorolt ​​fájlok akkor fordulnak elő, ha a hibás fájl rögzítve van, és a létrehozott predikátumokat hívják.

Az újdonság a 3.01.2-es verzióban:

Ez a kiadás befejezi a statikus kötelező érvényű implementációt; támogatja a fájlnevek as-is használatát a fordítási és betöltési predikátumokkal; javítja a fordító hibákat; a dokumentáció frissítései; javítja a hibakeresési, tesztelési és dokumentációs eszközöket; új egység-teszteket állít össze a Prolog megfelelőségének ellenőrzésére hivatalos és de facto szabványokkal; frissíti a szintaktikai színezést minden támogatott szövegszerkesztőhöz és szintaxiskiemelőhöz; és tartalmazza az ECLiPSe, a JIProlog és az YAP kompatibilitási frissítéseit.

Követelmények :

Kompatibilis Prolog-fordító.

Hasonló program

XTemplate
XTemplate

3 Jan 15

Epsilon
Epsilon

12 Dec 14

eVe SDK
eVe SDK

4 Jan 15

Más szoftver fejlesztő Logtalk

Logtalk
Logtalk

3 May 15

Hozzászólások a Logtalk

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