論理型言語として知られるPrologについて学びましょう。前回はSWI-PrologのインストールとProlog言語の基礎知識について紹介しました。今回は、初歩のPrologプログラミングについてステップ・バイ・ステップで触れてみましょう。ゆっくりと進めていきます。

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

【Prologの概要と基本パラダイム】 プログラミング言語の進化の歴史において、Prolog (Programming in Logic)は、人工知能 (AI)、自動定理証明、および計算言語学を起源として1972年にAlain ColmerauerとRobert Kowalskiらによって開発された、極めて特異なパラダイムを持つ言語である1。

Prolog is a logic programming language developed in the early 1970s that is about objects and relationships between objects. It aims to be a declarative programming language, i.e. Prolog programs ...