18 Jan
2005
18 Jan
'05
10:07 a.m.
Pallos Peter <pallosp(a)freeweb.hu> writes:
Hello!
:- mode make_ice_cream(in, out) is semidet.
minden bemenõ értékre 0 vagy 1 kimenetre teljesül
:- mode make_ice_cream(out, in) is nondet.
lemon-ra többféleképpen is teljesül, grape-re pedig meghiúsul
Jó a megoldás, de grape helyett orange esetén hiúsul meg (grape nincs benne
az ice_cream-ben).
:- mode make_ice_cream(in, in) is semidet.
minden párra vagy egyféleképen teljesül, vagy meghiúsul
:- mode make_ice_cream(out, out) is multi.
mind a 3 párt felsorolja
A függvényekkel nem tudom, mit kell kezdeni, fõleg, ha hibát is
jelezhetnek.
Az error predikátum erroneous determinizmusú, azaz sem nem sikerül, sem nem
hiúsul meg. Tehát
:- mode fact(in) = out is det.
:- mode even(in) is semidet.
:- mode odd(in) is semidet.
az értelmezési tartomány minden értékére teljesül vagy meghiúsul
:- mode even(out) is multi.
:- mode odd(out) is multi.
felsorolja a páros illetve páratlan számokat Peano-alakban, nem
hiúsulhat meg
Remélem, nem írtam nagy hülyeségeket :)
Remélem én sem ...
-Péter