lee.j.baxter -2 Junior Poster in Training

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.

Be a part of the DaniWeb community

We're a friendly, industry-focused community of developers, IT pros, digital marketers, and technology enthusiasts meeting, networking, learning, and sharing knowledge.