MINERVAの新しい算術関数は、内蔵関数と全く同じように使用することが できます。

算術表現の関数表記と関係を示す表記の両方の表記が可能です。

MINERVAの数値を求める述語について、 例えば、is/2 を例に挙げて考えます。 "Result = f(A,...,N)" のような関数は、 "f(A,...,N,Result)" の述語の探索として行なわれます。

これにより、MINERVAによる数式は、 計算途中の値を保持するための変数の記述を省略することができ、 理解しやすくなっています。

% example: compute the cost for industrial urethane foam

% notation as relations
a(Price) :-
        height(H), width(W), depth(D),
        unit_price_per_volume(U),
        Price is H * W * D * U.

% notation as functions

b(Price) :-
        Price is height * width * depth * unit_price_per_volume.

% uniform notation of functions resp. data base

height(6).
depth(38).
width(75).
unit_price_per_volume(0.01).

上のプログラムの結果は以下の通りです。

?- a(Price).

Price   = 171.0 

yes

?- b(Price).

Price   = 171.0 

yes

?- 

冒頭へ