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