Tutti i Forum  Magistrale - Primo Anno  Intelligenza Artificiale  Prolog

Nota: Devi essere registrato per poter inserire un messaggio.
Per registrarti, clicca qui. La Registrazione è semplice e gratuita!

Larghezza finestra: 640 x 480 800 x 600 1024 x 768 1280 x 1024 Nome Utente: Password: Modo: Base  Aiuto  Finestra  Formato: Carattere Andale Mono Arial Arial Black Book Antiqua Century Gothic Comic Sans MS Courier New Georgia Impact Lucida Console Script MT Bold Stencil Tahoma Times New Roman Trebuchet MS Verdana   Grandezza 1 2 3 4 5 6   Colore Nero Rosso Giallo Rosa Verde Arancione Viola Blu Beige Bordò Verde Oliva Blu Marino Marrone Verde Limone Icona Messaggio:                             Messaggio:   * Il codice HTML è OFF * Il Codice Forum è ON Smilies [quote][i]Messaggio inserito da GG[/i] [br]Ciao ragazzi, qualcuno potrebbe aiutarmi con questo esercizio in Prolog? Scrivere un predicato Prolog deduci(R,B,B1) che riceva in input una lista di regole R e una lista di fatti B, e che produca in output una nuova lista di fatti B1 ottenuta da B applicando tutte le regole di R fino al raggiungimento di un punto fisso. Ogni regola R viene espressa mediante un simbolo di funzione regola(Cs,D) in cui il primo argomento Cs è una lista di condizioni che, se verificate congiuntamente, rendono vero il secondo argomento D. Ad esempio: ? - deduci( [regola ([p(X), q(X)] , r(X) ) )] , [p(a), p(b), q(a)], B1). X = a, B1 = [r(a), p(a), p(b), q(a)] ? - deduci( [regola ([p(X), q(X)] , r(X) ) )] , regola([r(Y)], q(b)), [p(a), p(b), q(a)], B1). X = Y, Y=a, B1 = [q(b), r(a), p(a), p(b), q(a)] Grazie mille! [/quote]    Allega file   Clicca qui per inserire la tua firma nel messaggio. Clicca qui per sottoscrivere questa Discussione.