論理型言語

Prologのような論理型言語は、AIの推論システムの開発によく用いられる。

彼は新しいプロジェクトの要件を見て、論理型言語を採用するのが最適だと判断した。

大学の授業で初めて論理型言語に触れ、今まで使っていた言語との違いに戸惑った。