そのことを踏まえて、Prologが述語論理から成立したことに拘らず、実在するプログラム言語として自由な視点からこの言語を見直そうとするものである.
Prolog