Prolog ( Programming in Logic) è un linguaggio di programmazione che è stato sviluppato in Francia per l'uso nella traduzione del linguaggio naturale . Il linguaggio naturale è che i programmatori chiamano lingue come il francese e il tedesco . Prolog è stato ulteriormente raffinato da scienziati informatici in Scozia per l'uso come un dimostratore di teoremi automatico , il che dimostra teoremi in matematica e la logica . I giapponesi hanno scelto Prolog da utilizzare in progetti di intelligenza artificiale ( AI) . Questa lingua internazionale è incredibilmente flessibile . Istruzioni
1

Usa Prolog in quanto è destinato ad essere utilizzato . Linguaggi come Ruby e C + + dicono al computer cosa fare. Programmazione in Prolog consiste nella creazione di un database di fatti e di regole che descrive alcuni universo di discorso . L'utente invia una domanda e Prolog risponde alla domanda sulla base dei fatti e delle regole nel database. Questa domanda e procedura di risposta è abbastanza flessibile . Ad esempio , la questione può essere un teorema matematico e la risposta dice se è vero o falso , o la questione può essere una frase in giapponese e la risposta è la traduzione in francese .
2

Scopri la struttura di clausole di Horn - questa è la chiave per rappresentare fatti e regole nel database di un Prolog "programma". Una rappresentazione clausola Corno d' un fatto è semplicemente una dichiarazione del fatto seguito da un punto . La rappresentazione clausola Horn di una regola è una conclusione , seguita dalla " : - " . Simbolo , seguito da una serie di condizioni , seguito da un periodo

Il fatto che il cielo è blu potrebbe essere scritto in Prolog come "Blue ( cielo ) . " La regola che il cielo è blu se è giorno e non piove è "Blue ( sky ) : - . Tempo ( giorno ) , Raining ( non ) "

Il Prolog "programma" è costituito da una banca dati di fatti e le regole. Se stai facendo l'elaborazione del linguaggio , queste saranno le definizioni di parole e regole grammaticali . Se si sta creando un sistema logico o matematico , il "programma" saranno gli assiomi del sistema .
3

lavoro attraverso diversi esempi Prolog . Fingere di essere il computer e che ci sia una base di dati semplice , quindi prendete una domanda e passare attraverso i passi che Prolog avrebbe attraversato per rispondere alla domanda . Non vi è alcun percorso più rapido per capire Prolog e imparare ad essere un buon programmatore Prolog , secondo e orologi per Mellish , che ha letteralmente scritto il libro sulla programmazione Prolog .