Logtalk. download gratuito, Logtalk. download sul download del software

Linguaggio della programmazione della logica orientata agli oggetti open source Logtalk è un linguaggio di programmazione logico orientato all'oggetto open source open source che può utilizzare la maggior parte delle implementazioni di Prolog come compilatore di back-end. Ecco alcune caratteristiche chiave di "LogTalk": · Le direttive predicate (dichiarazioni) possono essere contenute all'interno dei protocolli (interfacce), che possono essere implementati da qualsiasi oggetto. · I nomi degli oggetti possono essere termini composti contenenti variabili gratuite che possono essere utilizzate per parametrizzare i predicatori dell'oggetto. Questo ci consente di trattare qualsiasi predicato come istanziazione di un oggetto parametrico. Cioè. Attraverso l'oggetto parametrico possiamo associare qualsiasi numero di metodi con un termine composto. · Potresti avere, nella stessa applicazione, gerarchie basate sulla classe (con relazioni di istanziazione e specializzazione) e gerarchie a base di prototipo (con relazioni di estensione). Inoltre, le caratteristiche linguistiche fondamentali come protocolli (interfacce) e categorie (componenti) possono essere utilizzate simultaneamente da classi, istanze e prototipi. · Nessuna necessità di essere vincolati a una singola gerarchia lunga radicata in qualche oggetto generico. · LogTalk supporta l'ereditarietà privata, protetta e pubblica in un modo simile a c. Inoltre, qualsiasi relazione di entità può essere qualificata utilizzando una parola chiave ambito. Per esempio. Un oggetto può implementare privatamente un protocollo, rendendo così il protocollo dichiarato previsto privato. · Impostare lo scopo del tuo oggetto previsto per abbinare il design del tuo protocollo e lasciare che il sistema di runtime importò le tue scelte. · Gli oggetti possono essere statici o dinamici. Gli oggetti statici sono definiti nei file di origine che vengono compilati e caricati allo stesso modo dei file di Prolog. L'oggetto dinamico può essere definito in file sorgente o creato in fase di esecuzione. · Qualsiasi oggetto statico può contenere sia predicati sia statici che dinamici. · LogTalk utilizza la sintassi di Prolog standard con l'aggiunta di alcuni operatori e direttive per una curva di apprendimento regolare. Il codice di Prololog può essere facilmente incapsulato all'interno di oggetti con poco o nessuna modifica. Inoltre, LogTalk può interpretare in modo trasparente la maggior parte dei moduli Prolog come oggetti LogTalk per una facile riutilizzazione del codice esistente (E.G. Librerie). · I predicati possono essere chiamati implicitamente quando si verifica un evento Spied, consentendo soluzioni di programmazione che riducono al minimo l'accoppiamento dell'oggetto. Inoltre, gli eventi forniscono supporto per la riflessione comportamentale. · I predicati possono essere incapsulati all'interno delle categorie, che possono essere virtualmente importati da qualsiasi oggetto, senza alcuna duplicazione del codice e indipendentemente dalle gerarchie dell'oggetto. Pertanto, gli oggetti possono essere definiti attraverso la composizione delle categorie, che agiscono come unità a grana fine del riutilizzo del codice. · La programmazione multi-threading di alto livello è disponibile quando si esegue LogTalk con compilatori di prolog di back-end selezionati, consentendo agli oggetti di supportare messaggi sincrono che asincrono. Approfitta facilmente dei moderni computer multi-processor e multi-core senza preoccuparsi dei dettagli della creazione e della distruzione di filettature, implementare la comunicazione del filo o la sincronizzazione dei fili. · LogTalk supporta la multi-ereditarietà sia del protocollo che di implementazione. Un oggetto può implementare diversi protocolli ed estendere, specializzarsi o istanziare diversi oggetti. I conflitti multi-ereditarie sono risolti implicitamente dagli algoritmi di ricerca logtalk o esplicitamente utilizzando le direttive predicate. · Il codice LogTalk viene compilato utilizzando le stesse tecniche che si utilizzano per scrivere un codice di prolog per efficiente. Inoltre, Logtalk supporta sia vincolante statico che vincolante dinamico (con la memorizzazione nella cache di ricerca del metodo), migliorando notevolmente le prestazioni. I risultati del benchmark per alcuni compilatori di Prolog sono disponibili qui. · LogTalk è progettato per l'integrazione fluida con qualsiasi compilatore di Prolog che è conforme o segue da vicino lo standard ISO PROGL. · Interfacce LogTalk con uno specifico compilatore di prolog di back-end tramite un file di configurazione minima che lo rende compatibile con quasi tutti i compilatore moderno. · LogTalk genera automaticamente un file di documentazione in formato XML per ogni oggetto compilato, protocollo o categoria. Il sistema include tutti i file e gli script XSL (T) necessari per convertire i file di documentazione su (x) HTML e PDF. Requisiti: · Prolog. Cosa c'è di nuovo in questa versione: · Aggiunto il supporto per l'utilizzo del commilatore {} / 1 Compilatore Bypass Logtalk Construct per avvolgere le chiusure che devono essere eseguite nel contesto dell'utente di Pseudo-Object Object (ad esempio le chiamate ai predicati incorporati di Prolog). · Meta-predicatore del modulo di lavoro Meta-predicato semantica per supportare le chiamate al modulo Meta-predicati specificati nelle direttive di utilizzo_module / 2 all'interno di oggetti e categorie. · Aggiunto il supporto per la compilazione delle chiamate al modulo Meta-predicati che sono esplicitamente qualificati (potrebbero richiedere che i moduli siano caricati, a seconda del compilatore di PROLOG BARD-End). · Pulizia del codice della compilazione delle direttive Meta-predicate. Stringere i controlli delle direttive di meta-predicato e delle argomentazioni di direttiva meta-predicato. · Compilazione migliorata degli obiettivi di chiamata / 2-n. · Migliore prestazione delle meta-chiamate che sono compilate in fase di esecuzione. · Prestazioni migliorate dell'espressione Lambda GRATUITA / Obiettivo, solitamente utilizzata nelle chiamate Bagof / 3 e SETOF / 3. · Controllo degli errori di espressione lambda migliorata e supporto aggiunto per l'utilizzo di un'espressione di A (>>) / 2 Lambda come obiettivo. · Corretto un bug nella gestione del contesto Meta-Call per le espressioni Lambda. · Corretto un typo nel termine eccezionale generato quando si invia un messaggio a un oggetto corrispondente a un metodo locale incorporato. · Aggiornato il file di configurazione CXPROLG per impostare i limiti di scrittura Termine e scrivere i limiti di elenco che consentono la compilazione delle librerie ed esempi di LogTalk (i valori predefiniti sono due bassi in alcuni casi che portano agli errori di compilazione). Inoltre, approfitta del nuovo flag "Version_Data", richiedendo quindi la versione 0.97.4 o una versione successiva. · Aggiornato il file di configurazione SWI-Prolog per riconoscere e compilare la direttiva proprietaria AT_HALT / 1. · Aggiornato il file di configurazione B-Prolog per aggiungere una dichiarazione di meta-predirizzo mancante per il predicato integrato di Foreach / 2 proprietario. · Aggiornato il file di configurazione Yap aggiungendo una dichiarazione mancante per il meta-predicato integrato del tempo / 1 proprietà integrata e commentando l'impostazione della chiamata che imposta la bandiera "Lingua" su "ISO" a causa di tutte le librerie YAP che don ' T Compilare con questa impostazione. · Aggiornato il file di configurazione XSB aggiungendo una dichiarazione mancante per il meta-predicato incorporato per il tempo / 1 predicato integrato di proprietà e una definizione per il predicato SETUP_CALL_CLEANUP / 3 (per ripristinare la compatibilità con le funzionalità multi-threading LogTalk). · Aggiornato tutti i file di configurazione con informazioni sulla disponibilità del predicato Setup_Call_CleanUp / 3. · Espansi l'esempio "Lambdas" con un contributo di Artur Miguel Dias, più query del campione (compresi quelli non deterministici) e alcuni semplici benchmark. · Aggiunto supporto per colorazione della sintassi per l'operatore di quantificazione esistenziale ^ / 2 per la maggior parte degli editor di testo e degli evidenziatori di sintassi supportati. Aggiunto codice di esempio utilizzando il quantificatore esistenziale ^ / 2 sul file di test di colorazione della sintassi.

Logtalk. Software correlato