Index of /Teaching/DD-SS19/Datalog

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