Fórum studentů MFF UK

diky moc za pomoc:)

G([1,2],[1,3]) napr.

pre antisymetriu mam spracovany kod:

antisym([]).
antisym([[X,Y]|R]):-
najdi([Y,X],R, [Y,X]),!,fail.
antisym([[X,Y]|R]):-
antisym(R)

najdi(A,[A|_],A).
najdi(A,[B|S],Out):-
najdi(A,S,Out).

malo by to fungovat. akurat mam problem s tranzitivitou.

Ahoj. potreboval by som trochu helfnut s ulohou v prologu. potrebujem overit konecnu binarnu mnozinu, ci je antisymetricka a tranzitivna. ak mi niekto mozete pomoct, budem velmi rad. dakujem.