Index of /Teaching/DD-SS18/Datalog

	Name	Last modified	Size	Description
	Parent Directory		-
	aggregation.P	2018-08-13 15:47	547
	aggregation.xwam	2014-01-24 18:16	1.3M
	aggregation2.P	2018-08-13 15:47	454
	aggrsubsumpt.P	2018-08-13 15:47	162
	aggs.P	2014-01-24 18:18	864
	arithmetics.P	2018-08-13 15:47	91
	bl2.s	2018-07-05 11:21	3.3K
	bl3.s	2018-07-05 11:21	3.4K
	bla.P	2018-07-05 11:21	11
	bla.s	2018-07-05 11:21	11
	bla.s.xwam	2014-01-24 18:16	155
	bla.xwam	2014-01-24 18:16	155
	bundesligatabelle.s	2018-08-13 15:47	3.2K
	cwithbigcity.P	2018-08-13 15:47	119
	disj.s	2018-08-13 15:47	36
	escherstairs.s	2018-08-13 15:47	501
	farmer.s	2018-08-13 15:47	1.1K
	fishpuzzle.s	2018-08-13 15:47	5.5K
	headquartercaps.P	2018-08-13 15:47	415
	headquartercaps.xwam	2015-05-08 15:39	1.3M
	headquartercapsbig.P	2018-08-13 15:47	298
	headquartercapsbig.xwam	2014-01-24 18:16	1.3M
	houses.s	2018-08-13 15:47	2.2K
	italians-english.s	2018-08-13 15:47	602
	landlocked.P	2014-01-24 18:18	304
	landlocked2.P	2014-01-24 18:18	384
	lowesthighestmountain.P	2018-08-13 15:47	365
	meals-disj.s	2018-08-13 15:47	440
	meals.P	2018-08-13 15:47	531
	meals.s	2018-08-13 15:47	709
	mondial.P	2018-08-13 15:47	2.1M
	mondial.xwam	2014-01-24 18:16	1.3M
	neighbourcount.P	2014-01-24 18:18	1.4K
	orgOnContsDiv.P	2018-08-13 15:47	340
	parricide.s	2018-08-13 15:47	727
	pnotp.s	2018-08-13 15:47	18
	porq-denial.s	2018-08-13 15:47	45
	porq.s	2018-08-13 15:47	36
	pporq.s	2018-08-13 15:47	42
	pq.P	2018-08-13 15:47	67
	pq.s	2018-08-13 15:47	90
	prologask.P	2018-08-13 15:47	597
	prologask.xwam	2014-01-24 18:16	1.3M
	prologbrussels.P	2018-08-13 15:47	344
	prologbrussels.xwam	2014-01-24 18:16	1.3M
	prologcut.P	2018-08-13 15:47	343
	prologparis.P	2018-08-13 15:47	324
	qnotp.s	2018-08-13 15:47	18
	refint-del-b1.s	2018-08-13 15:47	424
	refint-del-b2.s	2018-08-13 15:47	507
	refint-del-d.s	2018-08-13 15:47	408
	refint.s	2018-08-13 15:47	917
	refint1.s	2018-08-13 15:47	665
	refint1b.s	2018-08-13 15:47	850
	refint2.s	2018-08-13 15:47	360
	refint3.s	2018-08-13 15:47	625
	refint4.s	2018-08-13 15:47	771
	refint4b.s	2018-08-13 15:47	771
	schweizersprachen.P	2014-01-24 18:18	513
	sudoku.s	2018-08-13 15:47	957
	sudoku2.s	2018-08-13 15:47	1.3K
	tcRivers.P	2018-08-13 15:47	153
	transitiveclosure.P	2018-08-13 15:47	213
	transitiveclosure.xwam	2014-01-24 18:16	1.3M
	transitiveclosure2.P	2018-08-13 15:47	319
	tweety-circ.s	2018-08-13 15:47	79
	tweety.s	2018-08-13 15:47	51
	tweety2.s	2018-08-13 15:47	68
	winmove-small.s	2018-08-13 15:47	144
	winmove.P	2018-08-13 15:47	387
	winmove.s	2018-08-13 15:47	352
	winmove.xwam	2014-01-24 18:16	1.3K
	winmovebug.P	2018-08-13 15:47	251
	winmovebug.xwam	2014-01-24 18:16	873
	winmovesmall.P	2018-08-13 15:47	173