>>432-433 ってなんだー！Prologは一階述語論理に基づく論理型言語。
　　　　　宣言的プログラミングが良く似合う。

　　　　　ところでどっかに書いてあったProlog++, Mercury てナニ？