Problem Solving using Lisp/Prolog

I want the process logic and source code of solved Missionaries and Cannibals problem.
(with 3 Missionaries and 3 Cannibals with boat capacity 2).

If U don’t have the source code, please refer any websites where I can found it.