MarcusAdriano

%SOMA
%O número que somado antessessor da 
%soma de um com dois que produz como 
%resultado três. 
%
%sum(s(0),s(s(0)),s(Z)),sum(Z,X,s(s(s(0)))).
sum(X,0,X).
sum(X, s(Y), s(Z)) :- sum(X, Y, Z).

%defina um predicado recursivo para calcular

MarcusAdriano

package br.ufu.ml.ia;

import br.ufu.util.Executors;
import br.ufu.util.OrderedList;

import java.util.Date;
import java.util.LinkedList;
import java.util.List;
import java.util.Stack;