Prolog の勘所

⁃ バックトラック…バックトラックモナドを例に

⁃ カット…深いバックトラックと浅いバックトラック

⁃ ユニフィケーション…パターンマッチングを例に

⁃ 計算のリバーシブル性