Logtalk

Logtalk è un'estensione a oggetti open source per il linguaggio di programmazione Prolog. Integrazione programmazione logica con la programmazione orientata agli oggetti e event-driven, è compatibile con la maggior parte dei compilatori Prolog.
Logtalk supporta sia i prototipi e le classi. Inoltre, supporta la programmazione basata su componenti attraverso basato sulle categorie composizione

Caratteristiche :.

• Separazione tra interfaccia e implementazione:
• direttive predicato (dichiarazioni) possono essere contenuti all'interno dei protocolli (interfacce), che possono essere attuate da qualsiasi oggetto.


• bbli oggetti parametrici:

Nomi
• oggetti possono essere termini composti contenenti variabili libere che possono essere utilizzati per parametrizzare predicati dell'oggetto.


• Il supporto per entrambi i sistemi di classe-based e basati prototipo-:
• È possibile che, nella stessa applicazione, gerarchie (con istanze e la specializzazione delle relazioni) e gerarchie basate prototipo-(con rapporti di estensione) di classe-base.


• Supporto per più gerarchie di oggetti:
• Non c'è bisogno di essere limitata a una singola gerarchia lungo radicata in un oggetto generico.


• privata, protetta, e l'eredità pubblico:
• Logtalk supporta privata, protetta, e l'ereditarietà pubblica in un modo simile a C. Inoltre, ogni rapporto entità può essere qualificato con una parola chiave ambito.


• bbli privati, protetti, e predicati oggetto pubblico:
• Imposta la portata del vostro oggetto predicati per abbinare il vostro disegno di protocollo e lasciare che il sistema runtime applicare le vostre scelte.


• oggetti statici e dinamici:
• Gli oggetti possono essere statici o dinamici. Oggetti statici sono definiti in file sorgente che sono compilati e caricati nello stesso modo come file Prolog. Oggetto dinamico può essere definito sia in file di origine o creato in fase di runtime.


• bbli predicati oggetto statico e dinamico:
• Ogni oggetto statico può contenere sia predicati statici e dinamici.


• Un pre-processore in modo da poter utilizzare la sintassi standard di Prolog:
• Logtalk utilizza la sintassi standard Prolog con l'aggiunta di alcuni operatori e direttive per una curva di apprendimento morbida.


• programmazione Event-driven:
• I predicati può essere chiamato implicitamente quando si verifica un evento spiato, permettendo soluzioni di programmazione che riducono al minimo l'accoppiamento oggetto. Inoltre, gli eventi forniscono il supporto per la riflessione comportamentale.


• di programmazione basato su componenti:
• predicati può essere incapsulato all'interno categorie, che possono essere virtualmente importate da qualsiasi oggetto, senza duplicazione del codice e indipendentemente gerarchie di oggetti. Così, gli oggetti possono essere definiti attraverso la composizione di categorie, che agiscono come unità a grana fine del codice di riutilizzo.


• Supporto multi-ereditarietà:
• Logtalk supporta multi-eredità sia il protocollo e di attuazione. Un oggetto può implementare diversi protocolli ed estendere, specializzarsi, o istanziare diversi oggetti. Conflitti multi-ereditarietà sono risolti implicitamente dagli algoritmi Logtalk di ricerca o esplicitamente utilizzando direttive predicato.


• Buona prestazione:
• codice Logtalk viene compilato utilizzando le stesse tecniche che si utilizzano per scrivere codice efficiente Prolog. Inoltre, metodo delle ricerche vengono memorizzate nella cache dal motore di runtime Logtalk, migliorando notevolmente le prestazioni. Risultati dei benchmark per alcuni compilatori Prolog sono disponibili qui.


• La stretta integrazione con la norma ISO Prolog standard:
• Logtalk è progettato per integrazione con qualsiasi compilatore Prolog conforme o da vicino segue la ISO Prolog standard.


• Compatibile con la maggior parte dei compilatori Prolog:
• interfacce Logtalk con un compilatore Prolog specifico attraverso un file di configurazione minima che lo rende compatibile con quasi qualsiasi compilatore moderna.


• Generazione automatica dei file di documentazione XML:
• Logtalk genera automaticamente un file di documentazione in formato XML per ogni oggetto, protocollo, o categoria compilato. Il sistema include tutto il necessario file XSL e script (T) per convertire i file di documentazione (X) HTML e PDF.
• Logtalk funziona su qualsiasi computer con un compilatore Prolog (l'ambiente di sviluppo principale è un Apple PowerBook G4 in esecuzione MacOS X). L'interfaccia tra Logtalk e un compilatore specifico Prolog avviene tramite un file di configurazione.
• Questo file contiene alcuni predicati specifici Logtalk e implementazioni per lo standard ISO Prolog predicati non disponibile nel compilatore Prolog.


• Scrivendo Logtalk ho cercato di seguire lo standard ISO Prolog, quando possibile. Funzionalità necessari Logtalk che non sono definiti nella Parte I della norma ISO sono:


• accesso al predicato proprietà (dinamica, statica, built_in):
• A condizione che il vostro preferito Prolog ha queste capacità di cui sopra, facendo un file di configurazione è molto semplice. Il pacchetto Logtalk include già i file di configurazione per i compilatori più comuni Prolog. Per ottenere prestazioni ottimali, Logtalk richiede che il compilatore Prolog supporta primo argomento indicizzazione per il codice sia statica che dinamica.


• Logtalk sviluppo e test è al momento eseguite utilizzando i seguenti compilatori Prolog (in ordine alfabetico):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• A causa di ciò, questi sono probabilmente le vostre scelte migliori per l'esecuzione Logtalk (a condizione che si è liberi di utilizzare uno di questi compilatori).


• Inoltre, Logtalk corre con poca o nessuna modifica con i seguenti compilatori Prolog (in ordine alfabetico):
• ALS Prolog 3.1
• Amzi! Prolog 6.22 ~ 7.x
• BinProlog 8.x ~ 10.x
• B-Prolog 4.0, 5.0, 6.x
• CIAO Prolog 1.10p5
• Eclipse 5.5 ~ 5.8
• IF / Prolog 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• LPA MacProlog32 1.25
• LPA WinProlog32 4.0x
• MasterProlog 4.1
• Apri Prolog 1.1b10
• PrologII 4.5
• QU-Prolog 6.7
• Quinto Prolog 3.3 ~ 3.5
• SICStus Prolog 3.8 ~ 3.12.x
• XSB 2.6 ~ 2.7

Cosa c'è di nuovo in questa versione:

• Modificato il messaggio meccanismo di invio di chiamare il & quot; prima & quot; gestori di eventi prima di eseguire il metodo di ricerca. Questa modifica non dovrebbe avere alcun impatto sul codice esistente, ma consente alcune interessanti applicazioni (ad esempio, di un'eccezione quando un messaggio non è compreso falliscono invece).
• gestione più coerente di flag di compilazione tra i valori di impostazione di bandiera durante la compilazione / caricamento di un file e quando si utilizza il set_logtalk_flag / 2 predicato built-in: in entrambi i casi, l'impostazione del & quot; smart_compilation & quot; bandiera si spegne il & quot; clean & quot; bandiera e l'impostazione del & quot; pulita & quot; bandiera si spegne il & quot; smart_compilation & quot; bandiera. Inoltre, impostando il & quot; di debug & quot; bandiera si spegne sia il & quot; smart_compilation & quot; e & quot; pulita & quot; bandiere.
• Consente il costrutto di controllo soft-cut, (* - & gt;) / 2, quando nativamente supportato dal compilatore Prolog back-end, da utilizzare nel corpo di regole grammaticali (dopo un'osservazione di Daniel Diaz mentre discute GNU sostegno Prolog per il controllo costrutto soft-cut).
• Corretto un bug del compilatore Logtalk quando il & quot; source_data & quot; flag è on con back-end Prolog compilatori dove non è possibile recuperare la posizione di un termine di lettura.
• Corretto un bug nella compilazione del meta_non_terminal / 1 direttiva in cui solo la prima meta-argomento verrà elaborato correttamente.
• Aggiornato il file di configurazione Eclipse per rilevare quando in esecuzione su Windows a 64 bit e sistemi di ignorare non predicato e non operatore esportazioni quando pre-elaborazione lib / 1 direttive.
• Aggiornato il quadro unit test per stampare i messaggi più informativi per i test unitari falliti.
• Aggiunto predicato suddiviso / 4 (per suddividere l'elenco in sottoliste con una data lunghezza) per il & quot; listp & quot ;, & quot; elenco & quot ;, e & quot; difflist & quot; entità biblioteca.
• Aggiornato il & quot; cc & quot; esempio con una definizione per la shell / 2 predicato per CxProlog.
• cambiato i nomi degli oggetti del & quot; mi & quot; esempio per evitare un conflitto di nomi quando si eseguono i test di esempio di unità.
• Corretto un bug nel programma di installazione di Windows che impediva il rilevamento di YAP 64 bit versioni. Grazie a Stepan Ipatov per la segnalazione di bug.
• Corretto un bug nel programma di installazione di Windows che impediva agli utenti di personalizzare la directory di installazione. Grazie a Daniel Moniz per la segnalazione di bug e di Gavin Lambert per diagnosticare il bug.
• Aggiornato lo script di installazione di Windows per una migliore individuazione di XSB e di default di installare solo i file per il singolo utente quando viene eseguito da un utente non-admin su un computer in cui è già installato Logtalk.
• Aggiunto il supporto di base per il LaTeX & quot; annunci & quot; pacchetto. Note aggiunte sul quot &; coniate & quot; e & quot; texmates & quot; Pacchetti LaTeX.
• note aggiunto il l'editor di testo Textastic iPad.
• aggiunta la colorazione della sintassi di base e supporto codice pieghevole per l'editor di testo UltraEdit.
• Aggiornato il TextMate fascio per disabilitare le correzioni automatiche trattino introdotte nella versione di sviluppo di TextMate 2.0.

Cosa c'è di nuovo in versione 2.44.0:

• Cambiati la semantica di integrare categorie per consentire l'applicazione di patch sia dichiarazioni predicato e definizioni predicato di oggetti integrati. Questo si ottiene garantendo tale dichiarazione predicato e definizione ricerche partono le categorie complementari prima di guardare in se stessa dell'oggetto completata o in sua entità correlate.
• Aggiornato il compilatore Logtalk al fine di generare un avviso quando si compila una categoria complementare per un oggetto integrato che è stato compilato con il supporto per integrare le categorie spento.
• Corretto un bug nel trattamento dei meta-inviti a meta-predicati dove il contesto di chiamata sarà impostato su & quot; il & quot; invece di & quot; mittente & quot; ogni volta che un meta-argomento era uno degli :: / 2, {} / 1,

Cosa c'è di nuovo in versione 2.43.3:

• Cambiato il compilatore di tener conto degli usi / 2 direttiva durante la compilazione chiamate alla riflessione metodi incorporati. Questa modifica estende la semantica del / direttiva utilizza 2 e permette la migrazione più semplice da applicazioni semplici Prolog per Logtalk.
• aggiornato l'attuazione del / 2 metodo incorporato predicate_property, aggiungendo una proprietà di applicazione / 1.
• Aggiornato il compilatore Logtalk per aggiungere informazioni su un nome di file sorgente, directory file sorgente, e le opzioni di compilazione del file sorgente ai file Prolog generati. Nelle versioni precedenti, questa informazione è stata registrata solo quando si carica un file di origine. Le modifiche semplificano la creazione di applicazioni in cui le librerie Logtalk sono pre-compilati e pre-caricato.
• Aggiornato il compilatore Logtalk per stampare il nome dell'oggetto gancio utilizzato per la compilazione dei file di origine quando la & quot; hook & quot; flag di compilazione è definito.
• Aggiornato il debugger incorporato, per evitare punti di scelta inutili creati da back-end compilatori Prolog cui ritrattare / 1 applicazione non riesce a sfruttare la semantica di aggiornamento logiche per effettuare chiamate deterministico.
• Corretto un bug nel gestore di runtime compilatore Logtalk dove non è riuscito a decompilare identificatori entità interne quando generare eccezioni esistenza dell'entità.
• Aggiornato il file di configurazione Prolog Lean, aggiungendo indice / 1 Direttive per alcuni dei predicati dinamici utilizzati dalle tabelle di runtime Logtalk interni.
• Aggiornamento dei file di integrazione SWI-Prolog per verificare la disponibilità della direttiva dell'indice / 1, che è deprecato dal nuovo supporto sperimentale SWI-Prolog per just-in-time multi-argomento indicizzazione.
• Aggiunto predicati subsequence / 4 (per la generazione di sottosequenze di un elenco con una data lunghezza), sostituire / 4 (per la sostituzione di elementi in una lista), e hamming_distance / 3 alla biblioteca & quot; listp & quot; e & quot; lista & quot; entità.
• Aggiunto euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, e scalar_product / 3 predicati alla biblioteca & quot; numberlistp & quot; e & quot; numberlist & quot; entità.
• Corretti alcuni bug stupide nella definizione del & quot; il carattere & quot; oggetto libreria predicati is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, e is_hex_digit / 1.
• Aggiornata la libreria & quot; all_loader.lgt & quot; file del caricatore per caricare anche la & quot; meta_compiler_loader.lgt & quot; file del caricatore.

Cosa c'è di nuovo in versione 2.43.1:

• Cambiato il compilatore di tener conto degli usi / 2 direttiva durante la compilazione chiamate ai metodi built-in database. Questa modifica estende la semantica del / direttiva utilizza 2 e permette la migrazione più semplice da applicazioni semplici Prolog per Logtalk.
• Aggiunto il supporto sperimentale per l'utilizzo di un modello del predicato come argomento al coinduttiva / 1 direttiva. Questo modello consente di specificare quali argomenti sono significativi per il successo coinduttiva. Sulla base di una funzionalità simile trovato il DRA su meta-interprete di Feliks kluzniak.
• Supporto migliorato per il debug predicati coinduttive quando si utilizza il Logtalk debugger incorporato.
• Supporto coinduction Rimosso per CxProlog. La versione attuale di questo compilatore manca di un soft-cut incorporato predicato o di controllo costrutto, che ora è richiesto dall'implementazione sperimentale coinduction.
• sollevato una lunga limitazione che impediva la definizione utente di predicati wrapper per la bagof / 3 e setof / 3 incorporati metodi ogni volta che l'argomento obiettivo può utilizzare il ^ / 2 quantifier esistenziale.
• Aggiunto il supporto per il & quot; ^ & quot; meta-predicato modalità meta-argomentazione specifier suggerito da Jan Wielemaker e trovato su SWI-Prolog 5.11.25. Questa specificazione modalità è utile quando si definisce wrapper per le / 3 e setof / 3 metodi incorporati bagof ogni volta che l'argomento obiettivo può utilizzare il ^ / 2 quantifier esistenziale.
• Added & quot; prolog_compiler & quot; e & quot; prolog_loader & quot; flag di compilazione, che consentono di passaggio opzioni di back-end del compilatore Prolog predicati built-in che compilano su disco e caricare un (compilato) Prolog bandiera. Il valore predefinito per entrambe le bandiere è la lista vuota.
• Corretto un bug durante la compilazione chiamate a Prolog proprietaria integrata predicati meta- dove il compilatore Logtalk potrebbe tentare di elaborare argomenti non meta- come obiettivi. Questo bug si manifesta solo con alcuni di back-end Prolog compilatori come Eclipse.
• Corretto un bug nella trasformazione delle direttive di compilazione condizionale.
• Corretto un bug che impediva il passaggio alias / 3 direttive sulla chiamate al create_object / 4, create_category / 4, e / 3 predicati built-in create_protocol.
• Rimosso dal built-in oggetto & quot; Logtalk & quot; le decompile_predicate_head / 4 e decompile_predicate_indicator / 4 metodi deprecati.
• Supporto rimosso per il lungo deprecato Logtalk metapredicate / 1 direttiva.
• Corretto un bug prestazioni quando il caching chiamate a categoria predicati in cui le voci memorizzate nella cache potrebbero essere più specifico del necessario quando si lavora con le categorie parametrici.
• Miglioramento caching di & quot; eccellente & quot; chiamate dall'interno di prototipi. In precedenza, tutte le voci memorizzate nella cache saranno specializzati per il valore di & quot; auto & quot; al fine di affrontare adeguatamente i casi particolari in cui un oggetto sia un'istanza e specializzato di altri oggetti.
• Aggiornato il compilatore Logtalk per attivare tutte le dichiarazioni di operatori presenti sul direttive portata predicato durante la compilazione delle entità che contengono le direttive.
• Migliorata la performance dei predicati coinduttive utilizzando back-end Prolog compilatori quali SICStus Prolog che non forniscono il controllo costrutto soft-taglio, ma costituiscono la soft-cut built-in meta-predicato (se / 3).
• Corretto un bug per cui potrebbe essere stampato un rapporto spurio di avvertenze di compilazione / caricamento quando un file sorgente è stato compilato / caricato con il flag di compilazione & quot; rapporto & quot; disattivato.
• ha aggiunto una & quot; streamvars & quot; oggetto libreria, derivato dalla quot esistente e, assignvars & quot; categoria biblioteca, con il supporto per l'aggiunta e il recupero di condizioni (che possono essere variabili) da una & quot; flusso & quot; variabile.
• Aggiornato il & quot; coinduction & quot; esempio, sfruttando la maggiore coinduttiva / 1 direttiva e ampliare il numero di singoli esempi che possono essere eseguiti utilizzando SICStus Prolog. Aggiunto un modello di controllo esempio, utilizzando coinduction, coroutining, e vincoli, contributo di Neda Saeedloei.
• Aggiornato il quot &; metapredicates & quot; esempio con codice di esempio che illustra come definire wrapper per le / 3 e setof / 3 metodi incorporati bagof quando la meta-argomento può contenere variabili esistenzialmente qualificati.
• Aggiornato il & quot; cc & quot; esempio, correggendo le definizioni predicati per diversi back-end Prolog compilatori e l'aggiunta di alcuni test di unità di base.
• Aggiornato il quot &; codifiche & quot; esempio con il supporto limitato per magra Prolog.
• Aggiunto voci mancanti per la meta_non_terminal / 1 direttiva e per la chiamata // N non terminale per il & quot; aiuto & quot; esempio.
• Aggiunto un parser per PDDL 3.0 file, contributo di Robert Sasak.
• codice Aggiunto pieghevole supporto per l'editor di testo SubEthaEdit. Codice Aggiunto il supporto per i blocchi di compilazione condizionale agli editor di testo Kate, Vim, e TextMate pieghevole.
• Aggiornamento degli script di integrazione per caricare il file percorsi di libreria prima di caricare il Logtalk compilatore / runtime. Questa modifica mira a semplificare il caricamento di file di libreria e di esempio dai file di impostazioni. Inoltre, cercare anche per la directory di installazione Logtalk in $ HOME / share quando la variabile di ambiente LOGTALKHOME non è definita. Grazie Per vator Santos Costa per il suggerimento.
• Aggiornato il programma di installazione di Windows al fine di sostenere magra Prolog e rilevare YAP 64 bit versioni.

Cosa c'è di nuovo in versione 2.43.0:.

• Aggiunto il supporto sperimentale per magra Prolog
• la segnalazione degli errori Modificato dal compilatore Logtalk e runtime. Tutti i termini di eccezione ora utilizzare, quando possibile, l'errore (Error, Logtalk (Goal, Entity))
• formato. Cambiato il controllo da usare, ogni volta che pratico, la nuova '$ lgt_must_be' / 2-3 predicati interni errore interno.
• Aggiunto un & quot; ottimizzare & quot; bandiera, il cui valore predefinito è & quot; su & quot ;. Questa opzione permette all'utente di disattivare le ottimizzazioni esistenti per esempio attività di debug (il
• ottimizzazioni attualmente implementati comprendono la rimozione delle chiamate ridondanti true / 0 dal corpo di clausole predicato compilati e la rimozione di
• chiamate ridondanti a (=) / 2 dal corpo di clausole generati dall'espansione delle regole grammaticali).
• Aggiunto un & quot; source_data & quot; bandiera, il cui valore predefinito è & quot; su & quot ;. Con questo flag impostato su & quot; su & quot ;, Logtalk manterrà le informazioni modalità / 2 rappresentate utilizzando,
• informazioni / 1-2, usa / 2, e use_module / 2 direttive più i dati di localizzazione sorgente (inclusi i nomi dei file sorgente e numeri di linea), utile sia per il debug
• e per l'integrazione con gli strumenti di sviluppo. Questo flag può essere disattivata in modo da generare più codice compatto. Il / 1 oggetti parameter_names e
• proprietà di categoria è stato rimosso al fine di evitare la ridondanza.
• Implementato protetta / 1 e privata / 1 oggetti per gli oggetti, i protocolli e le categorie. Insieme con il pubblico / 1 di proprietà, queste proprietà
• consente l'elenco dei predicati dichiarati nell'entità a cui accedere per i calcoli riflettenti. Implementato dichiara / 2, definisce / 2, include / 3,
• e fornisce / 3 proprietà per accedere alle proprietà di predicati dichiarati e definiti all'interno di un ente. Dichiarazione proprietà includono line_count / 1, il numero di riga della direttiva portata predicato. Proprietà definizione includono line_count / 1, il numero di riga della testa del primo
• clausola per il predicato, e number_of_clauses / 1, il numero di clausole per il predicato. Implementato anche usi sperimentali / 3 e le proprietà use_module / 3.
• Aggiunta di una proprietà del predicato, redefined_from / 1, che consente l'interrogazione circa l'oggetto o la categoria che contiene una definizione predicato che viene ridefinito.
• Aggiunto un loaded_file / 3 predicato per la & quot; Logtalk & quot; built-in oggetto, che integra la loaded_file / 2 predicato esistente e dà accesso al
• opzioni esplicite utilizzate quando il file è stato compilato e caricato.
• Supporto compilatore Implementato per la meta_non_terminal / 1 direttiva e la chiamata // N built-in non-terminale.
• semplificata la compilazione di regole grammaticali rimuovendo il supporto per affrontare gli errori di portata e di esistenza non terminali alla regola grammaticale
• livello invece del livello predicato. Anche se questa caratteristica potrebbe essere utile durante il debug regole grammaticali, complicato l'integrazione di Logtalk con strumenti di sviluppo Prolog-native.
• Aggiornato il compilatore Logtalk per salvare le posizioni clausola entità e rendere queste informazioni disponibili al back-end compilatori Prolog.
• Aggiornato il compilatore Logtalk al fine di evitare la generazione di clausole ripostiglio interne inutili per la dichiarazione predicato e tabelle di definizione per entità dinamiche.
• Aggiornato il compilatore Logtalk per precludere l'utilizzo di predicati multifile per rompere l'incapsulamento oggetto. Una dichiarazione primario
• entità deve esistere, contenente sia un campo di applicazione e una direttiva multifile per il predicato. Inoltre, definendo clausole di multifile
• Entity :: Functor / Arity senza un corrispondente multifile / 1 direttiva sarà ora tradurrà in un errore di compilazione invece di un avvertimento.
• Rimosso la restrizione compilatore Logtalk che ha costretto contigue / 1 e dinamici / 1 direttive precedere le chiamate verso i predicati dichiarate.
• Migliorata la relazione compilatore Logtalk di chiamate errori di ortografia a non terminali regole grammaticali.
• Consentire l'utilizzo del:. Controllo / 1 costruire sul corpo di regole grammaticali
• Quando il debug messaggi di cui usi / 2 direttive, il messaggio viene ora stampato implicitamente qualificato come nel codice sorgente scritto dall'utente.
• Cambiato i predicati interni utilizzati nella realizzazione dei predicati built-in multi-threading per facilitare l'integrazione con

Strumenti
• alto livello di debug che richiedono decompilazione del codice Prolog generato.
• Corretto un bug introdotto in Logtalk 2.42.4 per la compilazione dei predicati di entità che richiedono predicati sincronizzati. Questo bug causato chiamate
• stato fatto invece alle forme non sincronizzati dei predicati, che manifestano in guasti casuali di obiettivi filo.
• Corretto un bug in piedi lungo in cui una meta-chiamata runtime-compilato all'interno di una categoria sarà compilato come una chiamata a un predicato dell'oggetto
• importazione categoria invece come una chiamata a una categoria predicato locale.
• Corretto un bug di vecchia data in cui i valori della bandiera entità impostati localmente utilizzando la set_logtalk_flag / 2 direttiva non riuscirebbe a essere salvato nella entità
• codice compilato.
• Corretto un bug di vecchia data quando abolire un predicato dinamico in un oggetto non prototipo in cui l'abolizione / 1 metodo sarebbe successo senza
• il predicato di essere in realtà soppresso.
• Corretto un bug nella creazione del contesto di esecuzione corretta quando si chiama un meta-argomento che richiede una compilazione di runtime nel contesto
• & quot; mittente & quot;.
• Corretto un bug nella compilazione delle chiamate esplicito qualificati al modulo meta-predicati se il titolo del modulo sarebbe sceso dal
• chiamata compilato. Si noti che queste chiamate utilizzeranno la semantica Logtalk meta-predicati (cioè i meta-argomenti saranno chiamati nel contesto del
• chiamante) invece dei soliti moduli Prolog semantica meta-predicato.
• Corretto un bug in cui le pile coinduction non è stato inizializzato quando si utilizza il

Cosa c'è di nuovo in versione 2.42.4:

• Questa versione include compilatore, runtime, e multi- threading ottimizzazioni delle prestazioni, migliora i messaggi di errore del compilatore per le sincronizzato / 1 e dinamici / 1 direttive, aggiunge il supporto per conservare informazioni portata operatore e l'output queste informazioni al XML generato automaticamente documentare i file, aggiunge nuovi predicati di utilità per l'oggetto Logtalk, migliora diversi programmazione esempi, include una soluzione per un programma di disinstallazione bug SWI-Prolog su Windows, e dispone di aggiornamenti di portabilità per Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB, e YAP.

Cosa c'è di nuovo in versione 2.42.3:

• Questa versione aggiunge il supporto per le chiamate predicati dinamici nel contesto di & quot; questo & quot; dall'interno categorie, aggiunge il supporto per le teste clausola precompilati, include correzioni di bug e miglioramenti al debugger incorporato, comprende librerie miglioramento ed esempi, aggiunge il supporto per indessicali quando si utilizza la (FD) biblioteca SICStus Prolog CLP, aggiunge un esempio sperimentale di utilizzando variabili attribuite all'interno oggetti e categorie, e dispone di aggiornamenti di portabilità per Eclipse, GNU Prolog, SICStus Prolog, e SWI-Prolog.

Cosa c'è di nuovo in versione 2.42.2:

• Questa versione migliora la compilazione di chiamate al modulo predicati , migliora il controllo di meta-argomenti chiamate meta-predicato, migliora il supporto per le espressioni lambda, include un compilatore ottimizzato per le chiamate verso biblioteca meta-predicati, aggiunge nuove librerie per la registrazione degli eventi, lavorando con le relazioni di intervallo temporale, e l'utilizzo di contatori interi, migliora esempi esistenti e biblioteche, aggiunge il supporto per l'utilizzo del pacchetto SyntaxHighlighter basata su JavaScript, e dispone di aggiornamenti portabilità per GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, e XSB.

Cosa c'è di nuovo in versione 2.42.1:

• Questa versione aggiunge il supporto per le nuove modalità di meta-predicato indicatori, consentendo il supporto per più Prolog proprietaria integrata meta-predicati.
• Supporto è stato aggiunto per il rilevamento e la segnalazione manca dinamici / 1 e non contigue / 1 direttive.
• È stato aggiunto un nuovo flag pelucchi.
• Due errori di compilazione meta-predicato sono stati corretti.
• Alcuni degli esempi sono stati aggiornati.
• aggiornamenti portabilità sono state fatte per B-Prolog, SICStus Prolog, SWI-Prolog, XSB, e YAP.