Bedeutung von Instantiierungsmodus-Indikatoren in Argumenten von Prolog-Prädikaten
In der Prolog-Dokumentation werden Prädikatsignaturen manchmal wie folgt geschrieben:
foo(:Bar, +Baz, -Qux, ?Mop)
Was sind:
, +
, -
und?
für und wie interpretiere ich sie? Sind dies auch die einzigen, die existieren, oder gibt es mehr davon?