Tutorial di programmazione Prolog

Prolog è un linguaggio di programmazione comunemente usato nel campo dell'intelligenza artificiale e della ricerca linguistica . Si tratta di un linguaggio potente , ma molto del suo potere deriva dalla sua scelta di utilizzare il paradigma dichiarativo per i linguaggi di programmazione , piuttosto che il paradigma procedurale o object-oriented utilizzato dalla maggior parte dei linguaggi tradizionali. Questo rende la sintassi Prolog apparire misterioso , anche a programmatori esperti . Il " se poi " l'istruzione familiare e il ciclo obbligatorio " , mentre " mancano Prolog , sostituite invece da sintassi finalizzate a incoraggiare e rendere la programmazione ricorsiva più semplice possibile . Istruzioni
1

Aprire un editor di testo e salvare il lavoro come " facts.pl . " Nel più semplice , opere Prolog per il caricamento di un elenco di fatti (noto anche come predicati ) e poi eseguire operazioni su tali fatti. La collezione completa dei fatti è , abbastanza comodamente , conosciuto come un database
2

Incolla il seguente per dichiarare alcuni fatti in Prolog : .

% Posti di lavoro ( nome , descrizione del lavoro )
lavori

( kevinWalker , " Writer" ) .
lavoro

( billBailey , " studente" ) .

La prima riga è un commento progettato per indizio in altri sviluppatori Prolog per il rapporto dei fatti . La prima parte del fatto è il nome della relazione , in questo caso " lavoro". Il primo argomento è quindi la chiave per il fatto . Si deve iniziare con una lettera minuscola e di essere solo una parola . L' ultima parte è il valore , in questo caso , una stringa che descrive un lavoro. Infine , ogni fatto deve finire in un periodo
3

Incolla il seguente nello stesso documento di aggiungere alcuni fatti relativi al database : .

% Stipendio ( nome, stipendio ) per

stipendio ( kevinWalker , 30000) .

stipendio ( billBailey , 12000 ) .

Poiché sia ​​lo stipendio e posti di lavoro utilizzano la stessa chiave , le relazioni tra i dati può essere eseguita

Salvare il file
4

Aprite il vostro terminale Prolog e digitare quanto segue per caricare il database: . . .

consultare ( "fatti" )

Se fosse successo , si dovrebbe vedere un "sì" o " vero " appare
5

digitare quanto segue per eseguire una semplice query : .
lavori

( kevinWalker , "scrittore" ) .

se questo sembra la stessa definizione del fatto , è invece una query per vedere se la richiesta è vera . In questo caso , la risposta sarà "sì" o " vero", a seconda della versione di Prolog . Tuttavia, se si digita : .
Lavori

( kevinWalker , " studente" ) per

La risposta sarà " falso " o "no ".
6

Tipo una query più sofisticato : .
lavori

( kevinWalker , Giobbe ) per

Il risultato sarà :

Job = " Writer"
7

aprire il file " facts.pl " di nuovo nel vostro editor di testo e aggiungere la seguente funzione :

makes_more_money ( Person1 , Person2 ) : -

stipendio ( Person1 , FirstSalary ) , Stati

stipendio ( Person2 , SecondSalary ) , Stati

FirstSalary > SecondSalary .

Questa funzione deve essere letto , "non Person1 guadagnare più soldi di Person2 ? " Per farlo , si cerca il salario sia Person1 e Person2 e poi li confronta , restituendo il risultato .

Salvare il file.
8

Digitare quanto segue nella all'interprete di ricaricare il database e utilizzare la nuova funzione : .

Reconsult ( 'fatti' ) per

makes_more_money ( kevinWalker , billBailey ) per

Questo ha ottenuto di iniziare nella programmazione Prolog . . C'è molto di più da imparare , quindi si consiglia di consultare l'introduzione al Prolog in Riferimenti.

• Come creare una web part con una parte strumento personalizzato 
• Come inviare SMS con ASP.NET