4 Commits

Author	SHA1	Message	Date
JanUlrich	9840281d83	Test für ASP anfügen	2018-03-01 12:31:56 +01:00
JanUlrich	92b110a971	Funktionierender Clingo Test	2018-02-27 19:10:16 +01:00
JanUlrich	d53faa0c86	FiniteClosure korrekt generieren	2018-02-19 11:33:08 +01:00
JanUlrich	19a1ef4024	Erste lauffähige aber unvollständige Version des UnifyWithoutWildcards	2018-01-10 10:53:07 +01:00