I'm just getting involved in using Prolog to handle more than just the simplest forms of data (facts) and am looking for some guidance from the seasoned Prologers... If I want to dynamically manag...

I created a semantic Graph in Neo4j. Is there any possibility to use an OWL reasoner in Neo4j? Or any inference engine? Though it has been mentioned here i can't find any solution or API for this....

I am attempting to understand the best uses of backward and forward chaining in AI programming for a program I am writing. Would anyone be able to explain the most ideal uses of backward and forwar...

Certain kinds of domain logic are represented more naturally using Prolog predicates than C# objects. One example of such a domain is representing family relationships. Is there a way to embed a P...

I have a set of objects with attributes and a bunch of rules that, when applied to the set of objects, provides a subset of those objects. To make this easier to understand I'll provide a concrete ...