Appunti PROgramming in LOGic

Page 1

1 Prolog: PROgramming in LOGic  Il Prolog è un linguaggio Logico o Dichiarativo  Utilizza solo i fatti e le regole per determinare la verità o la falsità di un obiettivo (goal).  Il programmatore non specifica in nessun punto come risolvere il problema.  Applicazioni in cui l’utilizzo del Prolog risulta vantaggioso: query su database, dimostrazione automatica di teoremi, realizzazione di parser, calcolo simbolico (per esempio: derivazione). 2 SWI Prolog Sito da cui poter scaricare una shell Prolog www.swi-prolog.org 3 Linguaggi logici Un linguaggio logico è un insieme di assiomi, o regole, che definiscono delle relazioni tra oggetti. L’esecuzione di un programma logico non è altro che la derivazione di una conseguenza del programma. Gli assiomi sono espressi nel linguaggio logico tramite strutture dette predicati. Un linguaggio logico si definisce del 1° ordine se i predicati si riferiscono solo ad oggetti che a loro volta non sono ulteriormente definibili, ossia non sono a loro volta predicati. Un linguaggio logico si definisce del 2° ordine se i predicati si riferiscono anche a predicati che a loro volta si riferiscono ad oggetti non ulteriormente definibili. È quindi possibile definire linguaggi di ordine n arbitrariamente elevato. 4 Struttura del linguaggio Prolog Il Prolog è un linguaggio formale del 1° ordine. In particolare è un linguaggio basato sulle clausole di Horn , ossia su un particolare sottoinsieme dei possibili predicati del primo ordine. I predicati logici sono un modo semplice ed elegante per esprimere dei ragionamenti in termini logici. Esempio di predicato logico e di suo significato: distanza(napoli,roma,220). !" Napoli dista da Roma 220 Km 5 Predicato Logico (fatto) distanza(napoli,roma,220). distanza(X,roma,220). Significato: se esiste una…