そのため、Prolog を使い始めたばかりで、Singleton 変数 (Quo、C) と Argumnets が実質的にインスタンス化されていないというこのエラーが発生し続けています。
Quo:-
read(A),
read(B),
C is A/B,
write(C).
ここでは、2 つの数値の除算の商を求める簡単なコードを作成します。
そのため、Prolog を使い始めたばかりで、Singleton 変数 (Quo、C) と Argumnets が実質的にインスタンス化されていないというこのエラーが発生し続けています。
Quo:-
read(A),
read(B),
C is A/B,
write(C).
ここでは、2 つの数値の除算の商を求める簡単なコードを作成します。