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!
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!
Perhaps you should look elsewhere, that is on a Prolog development site. Prolog isnt really heavily used in game development and there probably arent many experts here.
That or do your homework yourself! :lol:
Edit: Or search the web. There is at least one site with an explaination of how to do exactly that problem on googles first page.