Tools e ambienti per lo sviluppo di ontologie per il ... - CHERSI/libri

Inserire il titolo della tesi di laurea come intestazione
corso dell'elaborazione Prolog assegna loro dei valori che ricava dai fatti (bound), per
stabilire se soddisfano la richiesta; finita l'elaborazione esse ridiventano libere. In un
predicato possono coesistere variabili bound o di input e variabili free o di output.
L’elemento che più si avvicina al concetto di variabile dei linguaggi di programmazione
tradizionali, è il fatto, ed i fatti si possono aggiungere alla collezione di fatti e regole
tramite un apposito predicato (assert).
Un predicato può produrre diverse soluzioni, in funzione dello stato delle variabili con cui
è richiamato: ad esempio il predicato str_int(Intero,Stringa) potrà convertire un
numero in una stringa, convertire una stringa numerica in numero o verificare che il
numero e la stringa numerica convertita in numero siano uguali, secondo la tabella
seguente:
Intero Stringa
bound bound Confronto
bound Free converte in stringa numerica
free bound converte in numero
free Free Errore
In generale se tutte le variabili sono bound, il predicato è vero o falso, altrimenti risponde
con il valore o i valori che lo rendono vero.
PROLOG come linguaggio procedurale
La caratteristica di Prolog di cercare regole o fatti che soddisfino la domanda, è la base del
suo utilizzo procedurale, in particolare se la domanda è relativa ad una regola plurima,
cioè stessa testa e corpi diversi, Prolog verificherà la prima regola (quindi l'ordine delle
regole è talvolta essenziale) se essa non è verificata, procederà con la regola successiva, ad
esempio:
119