This is a hint (Hinweis) text of GUPU taken literally from the system. It's probably not very interesting reading for you.
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German (...)

Dieser Hinweis ist aus der Übung im WS 1994/95 oder aus einer noch älteren Übung oder war nie Teil einer Übung und ist daher möglicherweise für spätere Übungen nicht gültig!


Instanzierungsmuster (engl. instatiation
pattern): Die Belegung eines Ziels mit Termen.

:- ziel(a, B).
:- ziel(A, B).
:- ziel(A, A).
:- ziel(a, b).
:- ziel(b, b).
:- ziel(a, a).

ziel(a, B) hat ein allgemeineres
Instanzierungsmuster (nämlich 1.Arg bekannt,
zweites frei) als ziel(a, b).
Es hat aber auch ein allgemeineres Muster
als ziel(b, b) oder ziel(a, a).

Ziel ziel(A, B) ist allgemeiner als ziel(a, B).
etc.etc.

Zurück: \hinweis{init}

**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German