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
openBenchTerm
openCompat
Herbrand
Herbrand2
Herbrand3
closedGalery
closedHarness
closedTests
closedBenchmark
closedCompliance
closedCompfreq
closedPakete
AlleAktivität
Jan Burse, Jekejeke Prolog 1.4.0 (Einfaches Tabling)
Jan Burse, Jekejeke Prolog 1.3.8 (Optimierung mit Nebenbedingungen)

Helfer Herbrand3
Helfer

(c) 2008-2019 XLOG Technologies GmbH Nutzung Datenschutz