Prolog domande di base

Question

In primo luogo, cosa consiglia come un libro per l'apprendimento del prologo. Secondo, c'è un modo semplice per caricare molti file .pl contemporaneamente? Attualmente lo faccio solo uno alla volta con ['name.pl'] ma è fastidioso farlo più e più volte. Sto anche usando this per imparare.

Grazie

Answer 1

Per prima cosa, benvenuto in Prolog! Penso che lo troverai gratificante e piacevole.

I libri che abitualmente vedo consigliati sono L'arte di Prolog, Programmazione Prolog e clausola ed effetto. Ho Art e Programmazione e sono entrambi ottimi libri; Art è sicuramente più enciclopedico e La programmazione è più lineare. Consulto Art e Artigianato molto ultimamente, e alcuni più bizzarri (Logic Grammars per esempio). Spero di acquistare Prolog Programming in Depth avanti. Non penso che ci siano molti cattivi libri Prolog là fuori che dovremmo cercare di evitare. Probabilmente risparmierei Artigianato e Praticare per dopo.

È possibile caricare più file contemporaneamente da loro messa in vendita:

:- [file1, file2, file3]. 

Inoltre, poiché 'name.pl' finisce in '.pl' è possibile omettere le virgolette; le virgolette singole sono davvero necessarie solo se Prolog non considerasse l'atomo come un atomo ordinariamente.

Spero che questo aiuti e buona fortuna per il tuo viaggio. :)

Answer 2

Questo è un bel po 'intro breve: http://www.soe.ucsc.edu/classes/cmps112/Spring03/languages/prolog/PrologIntro.pdf

Voglio anche dire che c'è un bel SWI orientata pdf là fuori, ma non riesco a trovarlo.

Answer 3

Se sei incline a un'introduzione matematica, Logic, Programming and Prolog (2ED) è un libro interessante, di Nilsson e Maluszinski.

Programmazione in Prolog, di Clocksin e Mellish, è il manuale introduttivo classico.

Answer 4

In SWI-Prolog, controllare anche:

?- make. 

per ricaricare automaticamente i file che sono stati modificati da quando sono stati consultati.

Answer 5

È possibile controllare this question. Ci sono molti bei libri consigliati là dietro.

Answer 6

Non ripeterò le scelte classiche già menzionate in altre risposte, ma aggiungerò una nota su Prolog Programming in profondità di Michael Covington, Donald Nute e Andrew Vellino. Due capitoli che vorrei evidenziare sono i capitoli su tracciamento manuale e regole defettibili.Il primo mostra come tracciare un calcolo Prolog su carta e penna in modo efficiente e utile. Quest'ultimo mostra come creare un codice Prolog che supporti regole non modificabili. A differenza delle regole a cui siete abituati in Prolog, che riescono o falliscono in modo definitivo e non sono influenzate da nulla che non sia indicato nella regola stessa, le regole non modificabili possono avere successo sulle informazioni indicate nella regola, ma possono essere sottovalutate da altre regole nella knowledge base rendere l'espressione generalmente vera, ma avere eccezioni più semplici in un modo che sia compatto e facile da capire. Detto meglio dal libro "Una regola defettibile, d'altra parte, è una regola che non può essere applicata ad alcuni casi, anche se quei casi soddisfano le sue condizioni, perché alcune conoscenze altrove nella base della conoscenza lo bloccano dall'applicare".

È un concetto intrigante che non ho trovato in altri libri.