prologには方言が多い。ISO述語ならば統一されているかと思いきや、そうでもないようだ。少々、両者を比較してみる。 atom_concat/3 (アリティはアトムを想定。なので数値は不可のはずだがSWIではくっついてしまう。まあ、よいことなのかもしれないが ...

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

This directory provides examples for the SWI-Prolog built-in predicates as well as the library. Examples are PlDoc (markdown) files with the following properties: The file extension is .md. They ...

This task is solved through сyclical transition between states. Example of usage: condition(left,left,left,left,none). Tower of Hanoi This task is solved in "classic ...

Abstract: Anxiety is one of common mental disorders for human. It will interfere in clients' daily life and may cause some social activity problems. A simple and easy-to-use expert system for ...