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
Sziasztok!
Sajnos az egeszsegi allapotom alapjan, az idojarasi helyzet
figyelembevetelevel ugy dontottem, hogy nem megyek be a mai orat
megtartani.
A jovo csutortoki gyakorlatot is en tartom, igy dec 8-9-en megprobaljuk
majd elvarrni a szalakat. Ha valakinek nagyon nem jo, hogy dec 8-an szerdan
az ora 18:30-ig tartson, az szoljon!
Udv,
Peter