This project was made from a modificated proposal of S. Russell. For more information connect to Stuart Russell home page: S.Russell.
The representation language is the same that Russell's proposal, although the chaining mechanisms were slightly modified.
You can get the pseudocode of the Russell forward and bacward chaining algorithms in the book:
Russell S.,Norvig P. Artificial intelligence: a modern approach, Prentice-Hall, 1995.