[Logica Matematica] Prolog, dove studiarlo?
Clicca QUI per vedere il messaggio nel forum |
| Simeon |
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. |
| 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 |
| Simeon |
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). |
| 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. |
| Simeon |
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? |
| DarkStalker |
| Si, beh diciamo che ti fa vedere le funzioni che vengono chiamate e quali parametri hanno in ingresso e/o modificano |
| Simeon |
| D'accordo. Grazie per le informazioni :) |
|
|
|
