論理型言語として知られるPrologについて学ぶシリーズ。いよいよ、Prologプログラミングの基礎をステップ・バイ・ステップで身につけていきましょう。前回までで、SWI-Prologを用いて、事実と規則の記述について触れてみました。今回は、基礎固めの前編とし ...

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

WARNING: this project only has an educational purpose, for a real-world use of Prolog, please refer to GNU Prolog (gprolog).

These are two approaches to solving a detective's problem. She's interrogated three witnesses to a murder, all of whom are also suspects. The problem is to determine which of the suspect's testimony ...

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 ...

Abstract: Prolog is a powerful programming language, based on logic, that originated and matured in Europe. This paper aims to show that Prolog is becoming one of the key tools for the entire ...