Introduction - If you have any usage issues, please Google them yourself
Using Prolog to solve the issue of missionaries and Savage Classical Predicate Calculus review summarized in principle, grasp the artificial intelligence programming language Prolog, to understand to solve problems by searching for the realization of the idea of artificial intelligence.