Introduction - If you have any usage issues, please Google them yourself
For N = 5, k ≤ 3, the missionaries and Savage problem solving production system components are described (given comprehensive database rule set formal description of the initial state and the target given the conditions described), and draw the state space diagram. A: M for missionaries, C represents Savage, B represents boat, L is left, R represents the right bank.