>>880
ひょっとしてProlog使って実装したシステム?