Prolog (programmazione 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 perfezionato dagli scienziati informatici in Scozia per l'uso come un prover teorema automatica, il che dimostra teoremi di matematica e logica. I giapponesi hanno scelto di utilizzare Prolog in Intelligenza Artificiale (AI) progetti. Questa lingua internazionale è incredibilmente flessibile.

istruzione

1 Utilizzare Prolog come è destinato ad essere utilizzato. Linguaggi come Ruby e C ++ dire al computer cosa fare. Programmazione in Prolog consiste nel creare un database di fatti e regole che descrive alcune universo del discorso. L'utente invia poi una domanda e Prolog risponde alla domanda sulla base dei fatti e le regole nel database. Questa procedura domanda e 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 Imparare la struttura di clausole di Horn - questa è la chiave per rappresentare i fatti e le regole nel database di un Prolog "programma". Una rappresentazione clausola corno di un fatto è semplicemente una dichiarazione del fatto seguito da un punto. La rappresentazione clausola di 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 (cielo): - Tempo (giorno), Raining (non)."

Il "programma" Prolog è costituito da un database di fatti e regole. Se si sta facendo l'elaborazione del linguaggio, queste saranno le definizioni di parole e regole grammaticali. Se si sta costruendo 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 vi è una semplice banca dati, poi prendere una domanda e passare attraverso i passi che Prolog sarebbe passare attraverso di rispondere alla domanda. Non vi è alcun percorso più rapido per capire Prolog e imparare ad essere un buon programmatore Prolog, secondo orologi per e Mellish, che ha letteralmente scritto il libro sulla programmazione Prolog.

Consigli e avvertenze

• Unificazione è il modo in cui Prolog trova la risposta ad alcune domande. Se c'è una X nella sua interrogazione, quando la risposta torna includerà un valore per X, che è ciò che si vuole veramente.
• L'ordine le regole sono in è importante. Prolog opera attraverso un insieme di regole in ordine. Se una regola nel set non riesce, Prolog va alla regola successiva. A volte i problemi in Prolog possono essere risolti riordinando una serie di regole. Sempre in considerazione questo prima di iniziare a riscrivere le regole per prendersi cura di un problema.