Need someone to flesh out and complete the python first order logic (FOL) parser and inference engines from the partially complete AIMA python code ([url removed, login to view]). FOL Propositionalization, unification and lifting, skolemezation, forward and backward chaining (chapter nine of Norvig's book "Artificial Intelligence: A Modern Approach"). All unimplemented algorithms have pseudocode in the text.
Code needs to be implemented cleanly, and such that the FOL engine can be used as a python module in other projects (loading FOL data from text files, interactive parser etc).
Partially complete implementation here: [url removed, login to view]
to serve as a good basis. Should be fairly straightforward to implement.
If work is good, considerably more projects/jobs to follow.