Rene jel znas mozda jel treba prvo negirat ciljanu klauzulu pa ju dovest u klauzalni oblik ili suprotno? Jer ja sam isao prvo dovest u klauzalni pa negirat i dobio sam P(konst, konst), a ti si suprotnim postupkom dobio P(konst, varijabla). A koliko vidim ovo moje se neda unificirat kod razrjesavanja klauzula pa pretpostavljam da treba prvo negirat.