.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- aiuto prolog (http://www.dsy.it/forum/showthread.php?threadid=40705)

aiuto prolog

Ciao a tutti,
non riesco a trovare nessuna guida (non ho seguito il corso) su prolog; in particolare una spiegazione seria sugli alberi di esecuzione, e devo dare l'esame fra qualche giorno.. Qualcuno può darmi una mano o qualche link su cui studiare?

http://homes.dsi.unimi.it/~logica/logimat/Prolog.html

eh fino a lì c'ero arrivato anch'io.. il problema sta nella risoluzione degli esercizi di esame(la visualizzazione dell'albero di esecuzione).. non riesco a capire con che criterio (sempre che ci sia) il prolog risolve le clausole..
Ad esempio, in questo es:

Visualizzare l'albero di esecuzione del programma
conc( [] , L , L ).
conc( [ X | L1] , L2 , [ X | L3 ] ) :- conc (L1,L2,L3).

relativamente al quesito ?-conc (X , [X,Y],[a,b,a])

inizierà dalla 1 clausola o dalla 2 ?

Certo che c'è un criterio:

l'interprete comincia sempre con la prima regola, e le scorre sino all'ultima: per ogni regola (dalla 1 alla n) vede se può essere applicata relativamente al quesito, ovvero se è possibile fare l'unificazione.

Quindi comincia dalla 1: X unifica con [] ?...

Poi la 2 ...