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:
Related Book For
Artificial Intelligence Structures And Strategies For Complex Problem Solving
ISBN: 9780321263186
5th Edition
Authors: George F. Luger
Question Posted: