論理プログラミング

大学の研究室で、エキスパートシステムを構築するために論理プログラミングの手法を学んだ。

制約条件を満たす解を探索するような問題には、手続き型言語よりも論理プログラミングが適している。

彼は論理プログラミングのパラダイムに魅了され、休日はPrologのコードを書いて過ごしている。