Jekejeke Logische Programmierung
 
sehr benutzerfreundlich, äußerst robust und hochkonform

XLOG
Technologies GmbH
Freischützgasse 14
8004 Zürich
Produkte Beispiele Module Persönlich Webseite English Mobil
Benutzer

Beispiele
closedLaufzeit
closedEntwicklungs
openMinlog
closedTutorial
closedBenchSAT
closedBenchTerm
closedBenchmark
closedCompliance
openCompfreq
closedDecimal
openGauss
Exchstep
Onedim
Samebef
Utilpoly
closedGroebner
closedHarness
closedLeibniz
closedPakete
AlleAktivität
Jan Burse, Jekejeke Prolog 1.4.0 (Einfaches Tabling)
Jan Burse, Jekejeke Prolog 1.3.8 (Optimierung mit Nebenbedingungen)

Tests Onedim
Tests

(c) 2008-2019 XLOG Technologies GmbH Nutzung Datenschutz