.dsy:it. - sussunzione!! aiuto

.dsy:it.
//www.dsy.it

sussunzione!! aiuto

Posted by jonny001 on 26-02-2007 10:13

Ho un problema, spero che qualcuno riesca a darmi una soluzione:

durante il loop della given clause spass fa la seguente operazione:

BSubsumption: 33[0:Res:5.2,29.1] C(boxc, apple) _> C(boxa,orange) C(boxa,banana)*. by 34

considerando che apple, banana, orange e boxa,boxb,boxc sono delle funzioni di arietà zero, e che:

5: _> C(U,orange) C(U,banana) C(U,apple)*
29: C(boxc,U) C(boxa,U)*_>
34: C(boxc,apple)*_>

nella prima parte dovrebbe fare l'unificazione ottenendo
U=boxa ed apple=U

invece nell'atomo negativo mi mette U=apple mentre negli atomi positivi mette U=boxa

inoltre mi dice che la 34 sussume la 33

qualcuno sa dirmi come ha fatto??? grazie