AspIde

%Tipos e Elementos. pessoa(erico). pessoa(ivana). pessoa(lucia). pessoa(felipe). pessoa(tonivaldo). ordem(1..5). elemento(terra). elemento(fogo). elemento(metal). elemento(agua). elemento(madeira). animal(vaca). animal(dragao). animal(cavalo). animal(boi). animal(galo).

%Tudo em função de pessoa. ordem1(X,Y) :- pessoa(X), ordem(Y). ordem1(Y,X) :- ordem(X), pessoa(Y). elemento1(X,Y) :- pessoa(X), elemento(Y). elemento1(Y,X) :- elemento(X), pessoa(Y). animal1(X,Y) :- pessoa(X), animal(Y). animal1(Y,X) :- animal(X), pessoa(Y).

%Tudo em função de ordem. elemento2(X,Y) :- ordem(X), elemento(Y). elemento2(Y,X) :- elemento(X), ordem(Y). animal2(X,Y) :- ordem(X), animal(Y). animal2(Y,X) :- animal(X), ordem(Y).

%Tudo em função de elemento.

animal3(X,Y) :- elemento(X), animal(Y). animal3(Y,X) :- animal(X), elemento(Y).

%Função principal.
%sorte(A,B,C,D):-ordem(A), pessoa(B), elemento(C), animal(D).

sorte(1,erico,fogo,boi). sorte(2,felipe,metal,galo). sorte(3,tonivaldo,agua,vaca). sorte(4,lucia,terra,dragao). sorte(5,ivana,madeira,cavalo).

%Funções Recursivas.
%N:-ordemRec(X).
%1:-ordemRec(elemento(fogo)).
%2:-ordemRec(elemento(metal)).
%3:-ordemRec(elemento(agua)).
%4:-ordemRec(elemento(terra)).
%5:-ordemRec(elemento(madeira)).

%10 fatos da questão. ordem1(tonivaldo,3). %1% elemento2(madeira,5). %2% elemento1(erico,fogo). %3% ordem1(erico,1). %4% animal2(dragao,4). %5% animal2(boi,1). %6% animal1(ivana,cavalo). %7% animal3(agua,vaca). %8%
-elemento2(agua,1). %9% elemento2(terra,4). %10%

%Restrições
%:-elemento(X,Y), X!=erico, Y!=fogo .

jogador(cavalielli). jogador(jacquev). jogador(fernandez).jogador(lord). jogador(pietrovich). jogador(spock).

dia(1..5). partida(1..3). derrotou_no_dia(cavalielli,pietrovich,1). derrotou_no_dia(cavalielli,jacquev,2). derrotou_no_dia(jacquev,lord,3).
derrotou_no_dia(pietrovich,spock,4).