SWI-Prologでドット形式で出力させたい場合、write_term/2 のオプションでdotlists (true)を使う。 write_canonical/1 (ISO)ではGNUはドット演算子形式、AZ, SWIはリスト形式のまま出力される。

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

The listing sheet, as PDF, can be found here, while below is an unruly html rendition. This reference sheet is built around the system https://github.com/alhassy ...

state_space([a, b, c, d, e, f, g]). transition(a, b, 1). transition(a, c, 2). transition(b, d, 3). transition(b, e, 1). transition(c, f, 4). transition(c, g, 2 ...