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

AZ-Prologでは、マニュアルに書いてあるように64bit整数の範囲 -9223372036854775808～9223372036854775807 と同じ。 なぜかGNU-Prologはそれより1/8ぐらいになっている。 SWIでは GMP が利用されているようで unbounded となっている。