Prolog is a programming language that is rooted in formal logic. It supports backtracking and unification as built-in features. Prolog allows us to elegantly solve many tasks with short and general ...

このシリーズでは、論理型言語であるPrologを使って、手続き型とは異なるプログラミングを体験することでプログラミングの視野を広げることを目的にしています。 論理型言語とは、プログラムの実行を述語論理を用いて、論理演算の証明として処理の流れ ...

Prolog:-論理型言語入門.(#5) Prologプログラミングの基礎（後編） 論理型言語として知られるPrologについて学ぶシリーズ。前回に引き続き、Prologプログラミン… ...