Marc Ilgen posted a comment on discussion Help

Is there any way to handle existential qualifiers in pyke? For example, suppose we want to encode this rule: If John is smart then John reads some book If SMART(John) then E(b) st READS(John,b) How can this be expressed for a forward chaining rule in pyke?