delucagiovanni forum

Salve a tutti mi chiamo Mary e devo sostenere un esame per l'università in prolog.
Il programma d'apprendimento da sviluppare consiste nel trovare item frequenti da osservazioni relazionali.
Il mio problema è dato (f(a),g(a,b)) come ottenere una sua generalizzazione mantenendo però le relazioni esistenti a livello ground(tra costanti), cioè in modo da avere questo (f(A),g(A,B)).

Ringrazio chiunque mi risponda.

ciao mary, benvenuta al forum di deluca

qui non si parla molto di prolog,
ma se ti può aiutare potresti dare un'occhiata a questo link per vedere se trovi qualcosina.
http://digilander.libero.it/cacciagu/due.htm

ciao