.dsy:it. - [Logica Matematica] Prolog, dove studiarlo?

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.1

.dsy:it. > Didattica > Corsi G - M > Logica matematica > [Logica Matematica] Prolog, dove studiarlo?

Last Thread Next Thread

Author

Thread Expand all | Contract all

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

[Logica Matematica] Prolog, dove studiarlo?

Ciao a tutti.

Ho visto un altro paio di thread sull'argomento ma non mi soddisfavano a pieno.

Qualcuno saprebbe consigliarmi un modo per prepararmi bene alla parte di prolog di Logica matematica? Prolog in se non dovrebbe essere un problema, ma non ho capito che tipo di esercizi chiede.

31-01-2008 11:50

Click here to Send Simeon a Private Message

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Io personalmente ho studiato prolog con roba qua e la' trovata su internet e facendo il tracing con lo swipl dei problemi dati nei vari esami

31-01-2008 12:09

Click here to Send DarkStalker a Private Message

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by DarkStalker
Io personalmente ho studiato prolog con roba qua e la' trovata su internet e facendo il tracing con lo swipl dei problemi dati nei vari esami

Purtroppo non ho nemmeno idea di che parli, spero di capirlo piu' avanti (della parte di prolog non so NIENTE).

04-02-2008 16:22

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Lo swipl e' un interprete prolog ed e' quello di riferimento (credo).
Per capire com funzionano le cose fai cosi':
copiati l'esercizio in un file (occhio a fare copia e incolla adl pdf perche' introduce degli errori).
Lanci lo swipl scrivi [nomefile]. (metti anche il punto, nomefile e' il nome che hai usato per salvare il programma).

Poi scrivi
trace.

inserisci il quesito e premi c ad ogni passaggio.

04-02-2008 21:03

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by DarkStalker
Lo swipl e' un interprete prolog ed e' quello di riferimento (credo).
Per capire com funzionano le cose fai cosi':
copiati l'esercizio in un file (occhio a fare copia e incolla adl pdf perche' introduce degli errori).
Lanci lo swipl scrivi [nomefile]. (metti anche il punto, nomefile e' il nome che hai usato per salvare il programma).

Poi scrivi
trace.

inserisci il quesito e premi c ad ogni passaggio.

Ah ok, penso d'aver capito. Serve per visualizzare l'albero di esecuzione?

04-02-2008 22:17

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Si, beh diciamo che ti fa vedere le funzioni che vengono chiamate e quali parametri hanno in ingresso e/o modificano

08-02-2008 13:28

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline