A mai eloadason volt olyan kerdes, hogy el lehet-e agaztatni a modok
szerint.
A valasz igen, pl. igy:
append(L1::in, L2::in, L3::out) :- usual_append(L1, L2, L3).
append(L1::out, L2::in, L3::in) :- other_append(L1, L2, L3).
Tehat in,in,out modban a usual_append fut, out,in,in modban pedig az
other_append. A reszleteket lasd itt:
http://www.mercury.cs.mu.oz.au/information/doc-release/mercury_ref/Differen…
-Peter