Development Environment

Studien

Dateien

Beschreibung Offline Online
Reference Compliance PDF HTML
Frequent Compliance HTML
Frequent Compliance 2 HTML

Beschreibung

Wir führen regelmässig Testfälle durch, die die Qualität der Prolog Laufzeitbibliothek sicherstellen. Die Testfälle verwenden die Testunerstützung der Prolog Entwicklungsumgebung, weshalb wir diese hier verortet haben. Die Testfälle prüfen sowohl die Verträglichkeit mit dem ISO Kern Prolog Standard, also auch die Verträglichkeit der häufigen Predikate mit deren Anforderungen.