>>680
というか、すべての計算を探索に還元するんだから、わざわざPrologで設計する必要がないというか