>>292
>大体基本は同じ

Prolog とかやってみようか。びっくりするよ