10分ほどgoogleでPrologコンパイラ(インタプリタ？)
探したんですが見つかりません。
処理系ください。