Unifikationsschritte

Unifikationsschritte

Frage:

Gibt zu folgender Anfrage die jeweiligen Unifikationsschritte an:

?-  date(D, M, 2009) = date(D1, apr, Y1),
date(D, M, 2009) = date(14, M, Y).

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.