2009/11/21

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
  >
  <
  >=
  <=
  =\= 等しくない
  =:= 等しい
*/

 

0 件のコメント:

コメントを投稿