You are on page 1of 1

LAMPIRAN

domains
list=integer*
predicates
ubah(list,list)

clauses
ubah([],[]).
ubah([X|S],[Q|R]):-X<0,Q=X*-1,ubah(S,R),!.
ubah([X|S],[Q|R]):-Q=X,ubah(S,R),!.

goal
ubah([1,-2,-3,-4,-5,6],Hasil).

You might also like