perhaps i may not have made myself clear. I’m a beginner to prolog and so far have done nothing more than getting prolog to answer “yes” or “no”.

the way to tackle the question as it seems to me would require the use of “if-else” statements or its prolog equivalent. I’m not too sure if i got the logic correct. In fact, i would say have no idea on how to go about tackling the question. Any pointers (even on just the topics i need to know) would certainly prove invaluable.

once again. thanks in advance!

Hi all,

I need to reduce an arbitrary proposition into Conjuntive Normal Form (CNF) with prolog. Can someone give me some idea of which language feature of prolog i should be reading up on in order to know how to do this?

Thanks alot in advance!

—