Prolog

[mary]

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.

[frizzer]

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