------------------------------------------------------------

pb1-----------------------------------------------------------------------------

muchie(a,b).
muchie(b,a).
muchie(b,c).
muchie(c,b).
muchie(b,d).
muchie(d,b).
muchie(a,e).
muchie(e,a).

muchie(x,y) ->Path1(x,y) .
muchie(x,y) & muchie(y,z) -> Path2(x,y,z).

------------------------------------------------------------
pb2-----------------------------------------------------------------------------

venus(x) <-> -marte(x).

false(x) <-> -true(x).
feminin(x) <-> -masculin(x).

venus(x) & feminin(x) -> true(x).

venus(x) & masculin(x) -> false(x).

marte(x) & feminin(x) -> false(x).

marte(x) & masculin(x) -> true(x).

venus(x) | marte(x).
feminin(x) | masculin(x).

true(x) | false(x).

true(ork) -> venus(bog).

true(ork) -> masculin(bog).
true(bog) -> marte(ork).
true(bog) -> feminin(ork).

false(ork) -> marte(bog).

false(ork) -> feminin(bog).
false(bog) -> venus(ork).
false(bog) -> masculin(ork).

mace4:
interpretation( 2, [number = 1,seconds = 0], [
function(bog, [0]),
function(ork, [1]),
relation(enus(_), [0,1]),
relation(false(_), [1,1]),
relation(feminin(_), [1,0]),
relation(marte(_), [1,0]),
relation(masculin(_), [0,1]),
relation(true(_), [0,0]),
relation(venus(_), [0,1])]).

respuns: Bog e femeie de pe Marte si Ork barbat de pe Venus.

---------------------------------------------------------------------
pb3-------------------------------------------------------------------------
venus(x) <-> -marte(x).
false(x) <-> -true(x).
feminin(x) <-> -masculin(x).

venus(x) & feminin(x) -> true(x).

venus(x) & masculin(x) -> false(x).

marte(x) & feminin(x) -> false(x).

marte(x) & masculin(x) -> true(x).

venus(x) | marte(x).
feminin(x) | masculin(x).

true(x) | false(x).

cupluMarte(x,y) -> marte(x) & marte(y).

cupluVenus(x,y) -> venus(x) & venus(y).
cupluMixt(x,y) -> marte(x) & venus(y) | venus(x) & marte(y).

true(p1) -> cupluMarte(p1,p2).

true(p2) -> cupluVenus(p1,p2) | cupluMixt(p1,p2).

false(p1) -> cupluVenus(p1,p2) | cupluMixt(p1,p2).

false(p2) -> cupluMarte(p1,p2).

mace4:
interpretation( 2, [number = 1,seconds = 0], [
function(p1, [0]),
function(p2, [1]),
relation(false(_), [0,1]),
relation(feminin(_), [0,1]),
relation(marte(_), [1,1]),
relation(masculin(_), [1,0]),
relation(true(_), [1,0]),
relation(venus(_), [0,0]),
relation(cupluMarte(_,_), [
0,1,
0,0]),
relation(cupluMixt(_,_), [
0,0,
0,0]),
relation(cupluVenus(_,_), [
0,0,
0,0])]).

raspuns: cuplul nu este mixt, partenerii sunt de pe marte.