お前等処理系何使ってるよ?
俺はS-Prolog