Can you recommend a inductive logic programming system? Preferably one that uses Prolog syntax. Are there systems that do predicate invention and learning recursive rules? I am somewhat familiar with Aleph and Prolog. What is the state of the art?
Tanks! JCR