DLVDB

DLVDB colma il divario tra specifiche basate sulla logica e DBMS. DLVDB è un’estensione di DLV che fornisce interfacce flessibili e facili con database esterni.

DLVDB riduce lo sfruttamento delle risorse di memoria principale durante le attività di ragionamento.

DLVDB supporta l’esecuzione diretta di database (valutazione di programmi nel database) di normali programmi stratificati e l’esecuzione in memoria principale, che carica i dati di input da diversi database (possibilmente distribuiti) ed esegue i programmi.

DLVDB è gratuito per uso accademico e non commerciale, nonché per l’uso da parte di organizzazioni senza scopo di lucro.
Le licenze per uso commerciale possono essere richieste scrivendo a info@dlvsystem.com.

DLVDB è scaricabile in versione a riga di comando per le piattaforme elencate in tabella.
Per versioni enterprise ottimizzate potete contattarci all’indirizzo email info@dlvsystem.com.

DLVDB (latest release March 23th, 2012)
GNU/Linux i386 version GNU/Linux x86-64 version Windows version
dlvdb_unixlike.tar.gz dlvdb_unixlike_x86-64.tar.gz dlvdb_win32.zip

Il manuale di DLVDB è disponibile qui.

Applicazioni rilevanti