Diskussion:Unifikation (Logik)
aus Wikipedia, der freien Enzyklopädie
[Bearbeiten] To Do
- Unifikator besser erklären
- Unifikationsalgorithmus angeben
- Referenz, z.B. auf Clocksin Mellin oder Logische und Funktionale Programmierung
--Marc van Woerkom 15:09, 8. Okt 2004 (CEST)
Bitte den zweiten Punkt, Unifikationsalgorithmus angeben, bevorzugt behandeln. ;)
--Rtc 00:07, 15. Sep 2005 (CEST)