Swi prolog in Semantic Web

Question

Mi piacerebbe ascoltare persone che hanno esperienza di programmazione nel mondo reale usando la libreria semantica di swi-prolog.

Modifica: La ragione di questa domanda è, tra le molte persone con cui ho parlato con l'esperienza di Prolog, la maggior parte di loro sembra averlo usato per alcune programmazioni di intelligenza artificiale nei loro progetti accademici. Volevo sapere se qualcuno lo ha usato ampiamente in un ambiente di produzione. Perché la manutenibilità in tempo reale, le prestazioni sono diverse dall'avere un progetto fatto per ottenere buoni voti.

Come ti sei integrato con un linguaggio di programmazione come Java?

Modifica: come accennato nella risposta, sembra che i servizi REST o l'utilizzo dell'interfaccia esterna di swi prolog siano le due migliori opzioni.

Per che cosa utilizzate le librerie prolog (nel contesto del web semantico)?

Probabilmente non otterrà una risposta definitiva per questo qui. Può essere, questa domanda appartiene all'overflow semantico. Ora ho un'idea giusta e continuerò questa discussione in un forum più appropriato.

Quale ambiente di sviluppo è stato utilizzato? Emacs o la sua variante fornita da swi prolog sembra essere la risposta travolgente.

Non ho mai voluto un IDE come Intellij IDEA per java. Dopotutto cosa dovrei fare, auto completamento? Comprendo la necessità di un linguaggio basato sulle regole. Poi di nuovo, il motivo per cui ho discusso l'ambiente di sviluppo, è quello di aiutarmi a tracciare la mia regola (debug) e probabilmente anche identificare le anomalie nei miei set di conoscenze. Prologo grafico di Prolog si prende cura del primo requisito, ma almeno a me, è apparso scadente e limitato. Ma non credo che ci sia qualcos'altro.

Mi piace molto l'idea di utilizzare swi prolog, ma se ne andrà, se influisce sulla produttività.

Come indicato nella risposta, il prologo deve essere utilizzato per eseguire ciò che è buono. Ho sempre saputo questo e quindi la mia domanda sull'integrazione con altri linguaggi di programmazione. Sembra che il maggior numero di addetti alla produttività sia la qualità degli sviluppatori e sia in fase di sviluppo. I problemi nel sistema potrebbero essere inattivi e non facilmente risolvibili, ma potrebbero essere gestiti utilizzando una serie di domande per verificare la validità del sistema.

Nota: quando menziono la risposta, intendo la risposta fornita da @littletable. Anche per le persone interessate allo swi prolog per il web semantico, thea sembra interessante.

Answer 1

Disclaimer: Non ho usato SWI-Prolog in un ambiente commerciale/di produzione, non ho provato l'interfaccia SWI/Java (sebbene sia stata segnalata sulla mailing list SWI-Prolog per funzionare ragionevolmente bene), e ho nessun interesse nel web semantico.

Detto questo, ho scritto un progetto ampio e non banale utilizzando SWI-Prolog e non era un'applicazione giocattolo - avevo bisogno che funzionasse per completare la mia ricerca. Pertanto ho alcune credenziali per rispondere a questa domanda, anche se non tutte le richieste sono richieste.

Nel contesto di un progetto di grandi dimensioni, è preferibile trattare Prolog come linguaggio specifico del dominio per la scrittura di routine di ricerca - Non diversamente da SQL e archiviazione. Prolog fa una cosa estremamente bene e che risolve i problemi di ricerca. Se il tuo problema può essere limitato a trovare un assegnamento valido a un insieme di variabili dato un insieme di fatti e regole, Prolog è la tua arma di scelta: non dovrai preoccuparti di nient'altro nella tua codifica se non del tweaking le domande e le regole. Funzionerà anche abbastanza velocemente, specialmente se si compilano i predicati. Prolog è spesso lento non perché è intrinsecamente lento, ma perché esegue le routine di ricerca su un ampio spazio di ricerca.

Tenendo presente ciò, è possibile integrarlo con Java in modo analogo all'integrazione di SQL: Prolog si occupa di risolvere la ricerca. Memorizza i dati permanenti e le regole ed esegue le query. L'app Java si prende cura di qualsiasi altra cosa.

Gli ambienti di sviluppo sono un po 'soft-spot per Prolog. Non avrai un IDE di fantasia - Semplicemente perché ci sono davvero poche cose di cui essere fantasioso. I programmi Prolog raramente dispongono di informazioni complete in fase di compilazione, quindi non otterrete il completamento automatico perfetto. Ho semplicemente usato Emacs, con la shell Prolog sempre aperta. Per la maggior parte delle cose, il tracciante/debugger testuale Prolog farà il possibile. SWI viene fornito con il proprio debugger grafico, ma non l'ho provato.

Prolog presenta numerosi vantaggi raramente noti: un framework di analisi incorporato (regole DCG), un grande sistema di macro (espansione dei termini) e meta-predicati (chiamata, findall, ecc.). Se sai come usarli, questi sono veri assi nel tuo mazzo.

Per riassumere: Prolog aumenta o danneggia la produttività? Ciò dipende da ciò che attualmente blocca la tua produttività. Se si perde troppo tempo a chiedersi come implementare la rappresentazione della conoscenza e le routine di ricerca in Java - Basta usare Prolog; Non è come se si implementassero i propri alberi rosso-neri invece di usare SQL. Se stai cercando prestazioni soft-realtime e un IDE viziato, prova qualcos'altro.

Answer 2

Non l'ho davvero utilizzato in un ambiente di produzione, ma l'ho integrato in Java/Eclipse basato Bioclipse workbench, da utilizzare in scenari del mondo reale, come parte del mio lavoro di tesi. Inoltre, il lavoro di tesi si è concentrato molto sulla verifica delle prestazioni e sull'usabilità dell'integrazione prolog in Bioclipse.

Fornirò brevi risposte alle domande che hai fatto sotto, ma per chiunque sia interessato, la maggior parte delle informazioni può essere trovata nella mia relazione di tesi dal "SWI-Prolog as a Semantic Web Tool for semantic querying in Bioclipse: Integration and performance benchmarking", così come nel mio rilevante taggato blog posts. Il codice sorgente è disponibile in un github repo.

Come ti sei integrato con un linguaggio di programmazione come Java?

ho usato il il JPL Java Prolog interface

Cosa hai usato le librerie di prologo per (in un contesto di web semantico)?

L'ho usato per eseguire alcuni pattern matching su un database RDF di circa 60000 spettri NMR, contenenti picchi di altezze diverse. L'ho usato per testare le prestazioni di SWI-Prolog per questa operazione, rispetto ad altri strumenti del Semantic Web come Pellet e Jena (basati su Java). (BTW, SWI-Prolog ha di gran lunga sovraperformato entrambi questi strumenti).

Quale ambiente di sviluppo è stato utilizzato?

Eclipse RCP

Mi piace molto l'idea di utilizzare SWI-Prolog ma sarà prendere le distanze da esso, se essa riguarda la produttività.

La mia esperienza è che oltre all'aumento della produttività per determinati problemi, le prestazioni per determinate operazioni sono anche di gran lunga migliori rispetto agli strumenti scritti nei linguaggi di programmazione convenzionali.