お前ら、prologを言語だと思うなよ
これは定理証明支援が目的なんだからCやらPascalやらと同じに見るなよ