Praktikum prolog pengurangan

DOMAINS
 kurang=integer
 bagi=real
PREDICATES
 bagikan(bagi,bagi,bagi)
 kurangkan(kurang,kurang,kurang)
CLAUSES
 Bagikan(X,Y,Bagi):-
   Bagi=X/Y.
 Kurangkan(X,Y,Kurang):-
   Kurang=X-Y.
GOAL
  Kurangkan(54,32,Kurang).