私はいくつかの演習を試みます - 「s 表現」で数値を表すために、「0」はゼロ、s(0) は 1、s(s(0)) は 2 などです。"s number" を追加するための述語を作成しようとしました: 述語 s2int は "s number" を int に変換します。
s2int(0, 0).
s2int(s(X), Y) :-
s2int(X, Y1),
Y is 1 + Y1.
add(X, Y, Z) :-
s2int(X, SX),
s2int(Y, SY),
s2int(Z, SZ),
SZ is SX + SY.
クエリを追加すると、正しい回答が書き込まれますが、プロンプトが返されません。どうしたの？