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

XLOG
Technologies GmbH
Mittlere Mühlestrasse 2
8598 Bottighofen
Produkte Beispiele Module Persönlich Webseite English Mobil
Benutzer

Beispiele
closedLaufzeit
closedEntwicklungs
openMinlog
closedTutorial
closedBenchSAT
closedBenchTerm
closedBenchmark
openCompliance
openFinite
Bool
Guard
Linear
Sat
Search
Sets
Special
closedHarness
closedMisc
closedTerm
closedCompfreq
closedPakete
AlleAktivität
Jan Burse, Jekejeke Prolog 1.4.2 (Aktormodell)
Jan Burse, Jekejeke Prolog 1.4.1 (Eifrige Tabulation)

Tests Bool
Tests

(c) 2008-2020 XLOG Technologies GmbH Nutzung Datenschutz