DebuggingZone
Vuoi reagire a questo messaggio? Crea un account in pochi click o accedi per continuare.
Ultimi argomenti attivi
» mancato invio posta
DLV, intelligenza artificiale EmptyMer Apr 13, 2011 12:17 am Da Sasà

» Gallo Web Solutions.
DLV, intelligenza artificiale EmptyVen Ott 29, 2010 12:15 am Da Sasà

» Accendere un Computer automaticamente o a distanza
DLV, intelligenza artificiale EmptyMer Ott 20, 2010 11:09 pm Da Sasà

» Masterizzatore interno modello LG Slim SATA MULTI DVD 18x8 T20N/T40N
DLV, intelligenza artificiale EmptyVen Ott 08, 2010 9:32 am Da Sitzigorru

» P=NP sembra proprio di no, forse siamo alla soluzione.............
DLV, intelligenza artificiale EmptyMar Set 14, 2010 8:28 pm Da Sasà

» Come installare windows xp da boot con usb
DLV, intelligenza artificiale EmptyGio Giu 03, 2010 9:07 pm Da DaviduX

» CPU a 36GHz? Con Phenom II X6 si può!
DLV, intelligenza artificiale EmptySab Mag 15, 2010 9:31 pm Da ElDorado

» Lucid Lynx: Ubuntu cambia pelle
DLV, intelligenza artificiale EmptySab Mag 15, 2010 9:17 pm Da kevin

» iPhone 4G a pezzi: produrlo costa solo 175$
DLV, intelligenza artificiale EmptySab Mag 15, 2010 9:06 pm Da kevin

Cerca
 
 

Risultati per:
 


Rechercher Ricerca avanzata

Navigazione
 Portale
 Indice
 Lista utenti
 Profilo
 FAQ
 Cerca
Sito Amico

salvatore gallo2.gif


alkem.gif

-----------------------------------

eyrene.jpg

-----------------------------------

GalloWebSolution.gif

----------------------------------- --Info:Per inserire il tuo sito nella lista "Sito Amico", richiedi ad un amministratore.
Flusso RSS




DLV, intelligenza artificiale

Andare in basso

DLV, intelligenza artificiale Empty DLV, intelligenza artificiale

Messaggio  LuxLuciS86 Mer Ott 15, 2008 4:38 am

Guida all'approccio di DLV su linux.

Come creare un file da dare in pasto a DLV:
Un file da eseguire con dlv, come sappiamo, è un file contenente una “base di dati”, ma non solo!!! si possono inserire all'interno dello stesso file, le query che noi vogliamo.
Il file che a noi serve deve avere "in testa" la creazione della base di dati.
Essa è molto semplice da creare, non dobbiamo fare altro che in-stanziare dei fatti , come mostrato nell'esempio qui sotto:
Codice:
   persona(ciccio).
   persona(giovanni).
   persona(aldo).
   sport(calcio).
   sport(tennis).
   gioca(giovanni,calcio).
   gioco(aldo,calcio).
   gioca(giovanni,tennis).
Questa nell'esempio è una base di dati che ha come relazioni: persona,sport,gioco.
Le query:
Se vogliamo introdurre delle query su di essa basta inserire, sotto l'ultimo fatto, la qury risolta.
Esempio:
Codice:
   %serve sapere chi sono le persone che giocano a calcio.
   GiocaCalcio(P):-gioca(P,calcio).
Questa è una query al quanto semplice, ma ne possono inserire quante ne vogliamo, una dopo l'altra riga per riga, da osservare comunque il simbolo usato (%) che serve per commentare una riga.
Una volta finito si salva il file con estensione testuale ( .txt ), ad esempio “file.txt”.

Arrivati a questo punto serve solo scaricare il programma e capire come lanciarlo, dandogli come input il nostro file.
Scarichiamo il file dal link del sito ufficiale la versione di linux a 32 bit http://www.dbai.tuwien.ac.at/proj/dlv/dlv.i386-linux-elf-static.bin.

Una volta scaricato il file, rinominiamolo con “dlv.bin”, in modo da semplificarci la vita.
Create una cartella sul desktop con il nome dlv, dove all'interno si inserisce il programma scaricato e il file con la nostra base di dati.
Ora avviate una schell e puntate sulla cartella dove risiede il programma, appunto quella appena creata sul desktop ,( normalmente “/home/nomeUtente/Scrivania/dlv” oppure “/home/nomeUtente/Desktop/dlv” ), il comando da inserire è:
Codice:
dlv.bin file.txt
e premere invio.
Il programma partirà.
Se si vole togliere, dall'output del programma, la base di dati quindi i fatti, basta inserire come opzione -nofact, in questo modo:
Codice:
dlv.bin -nofacts file.txt
Quello che vi ho illustrato è un illustrazione molto “terra terra”, cioè molto banale e semlificate, ma serve per prendere dimestichezza con il linguaggio, grazie buon divertimento.

PS:vado a coricarmi ch'è tardi , sono fatte le 03:37 e domani devo andare a lezione presto ciao . Suspect
LuxLuciS86
LuxLuciS86
Admin
Admin

Numero di messaggi : 169
Età : 37
Localizzazione : senza fissa dimora(nomade)
Data d'iscrizione : 23.09.08

Torna in alto Andare in basso

Torna in alto


 
Permessi in questa sezione del forum:
Non puoi rispondere agli argomenti in questo forum.