>>432
>高階述語論理が入っていて

一階述語論理と高階述語論理の違いとは?