westofpluto

Well, ok, maybe I understand it now. The word 'notany' really refers to 'not any...

Ok this really looks like a bug. The notany premise really behaves instead like a...

I am trying out some forward chaining rules on some simple family relations, and...