hi All,
I am new to C++ programming and I am trying to make a program to solve first order logic using backward chaining.
I searched for example source codes but all I could find were in PROLOG.
Can anyone help me here?
Thanks
Printable View
hi All,
I am new to C++ programming and I am trying to make a program to solve first order logic using backward chaining.
I searched for example source codes but all I could find were in PROLOG.
Can anyone help me here?
Thanks
You should ask in the Algorithms forum:
http://www.codeguru.com/forum/forumdisplay.php?f=65
:)