dieguito

User info:

Registered: Dec 2006
Posts: 85 (0.01 al dì)
Location: Milano
Corso: Informatica
Anno: secondo...più o meno..
Time Online: 1 Day, 10:36:09: [...]
Status: Offline

Post actions:

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?

Rocky

.arcimaestro.

User info:

Registered: Dec 2009
Posts: 337 (0.06 al dì)
Location:
Corso:
Anno:
Time Online: 6 Days, 0:17:10 [...]
Status: Offline

Post actions:

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

dieguito

User info:

Registered: Dec 2006
Posts: 85 (0.01 al dì)
Location: Milano
Corso: Informatica
Anno: secondo...più o meno..
Time Online: 1 Day, 10:36:09: [...]
Status: Offline

Post actions:

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 ?

Rocky

.arcimaestro.

User info:

Registered: Dec 2009
Posts: 337 (0.06 al dì)
Location:
Corso:
Anno:
Time Online: 6 Days, 0:17:10 [...]
Status: Offline

Post actions:

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 ...