Prolog 数値計算、述語

% X is 1 + 2 + 3. % X = 6. % X is 1 + 2, X is 3 + 4. % false.   square(X, Y) :-     Y is X * X. /* square(2, Y). Y = 4. square(2, 4). true. square(2, 10). false. */ /*   predicate   >   <   >=   <=   =\= 等しくない   =:= 等しい */

 

• お気楽 Prolog プログラミング入門