Hi folks,
I'm working on a very complex AI system, which I've designed as a expandable, long-term project. One of my core components will be an FOPC (First-Order Predicate Calculus) system, which needs an inference engine in order to function.
I just wondered if anybody has come across any tutorials on writing such an engine? I won't be able to use Prolog, as I'm going to be working with a variation on FOPC which I don't think it will be able to handle.