You are not logged in.
Pages: 1
pr(f(Y,X),g(Y,s)) and pr(f(Y,Y),g(likes(b,c),s))
anyone?
Can you give some "keywords" or "subject areas" for this?
igloo myrtilles fourmis
Offline
it comes under the area of Simple Logic, Unification