:- mode append (in,in,out) is det.
:- mode append (in,out,in) is semidet.
:- mode append (out,out,in) is multi.
Bedeutung Det:
- det: genau eine Lösung
- semidet: höchstens eine Lösung
- multi: unbestimmt (0, 1, mehr)
Bedeutung In/Out:
- In: Argument ist voll instantiiert
(d.h.: enthält keine Variablen)
- Out: Argument ist frei (d.h.: ist Variable)
Johannes Waldmann
2011-01-18