Currently, if exshell cannot solve a goal using the rule base, it fails. Extend exshell so if

Question:

Currently, if exshell cannot solve a goal using the rule base, it fails. Extend exshell so if it cannot prove a goal using the rules, and if it is not askable, it will call that goal as a PROLOG query. Adding this option requires changes to both solve and build_proof.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Question Posted: