jonny001

User info:

Registered: Jun 2003
Posts: 75 (0.01 al dì)
Location: http://tinyurl.com/yc7p5m
Corso: informatica
Anno: 2^anno
Time Online: 2 Days, 11:48:31 [...]
Status: Offline

Post actions:

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

__________________
Algoweb Rulez
Algoweb Rulez
Algoweb Rulez