miyake.github.io
>
コンピュータとプログラミング
>
Prolog プログラミング言語
ISO (International Organization for Standardization)
ISO/IEC 13211-1:1995
Information technology — Programming languages — Prolog
Part 1: General core
ISO/IEC 13211-2:2000
Information technology — Programming languages — Prolog
Part 2: Modules
SWI Prolog
github.com/SWI-Prolog
Prolog - Wikipedia (en)
Prolog - Wikipedia (ja)
miyake.github.io
>
コンピュータとプログラミング