Ein Interpreter für logische Klauseln
Ein Interpreter erweitert um die Unterstützung von logischen Klauseln.
Ein Interpreter für funktionale Spezifikationen
Ein Interpreter für die Definition und Auswertung von Funktionen.
Populäre Tags