Index of /Teaching/DBT-SS12/Datalog

	Name	Last modified	Size	Description
	Parent Directory		-
	aggregation.P	2013-03-26 11:33	547
	aggregation2.P	2013-03-26 11:33	454
	aggrsubsumpt.P	2013-03-26 11:33	162
	aggs.P	2012-06-30 12:38	870
	arithmetics.P	2013-03-26 11:33	91
	bla.P	2013-03-26 11:33	11
	bla.s	2013-03-26 11:33	11
	disj.s	2013-03-26 11:33	36
	farmer.s	2013-03-26 11:33	1.1K
	fishpuzzle.s	2013-03-26 11:33	5.5K
	headquartercaps.P	2013-03-26 11:33	415
	headquartercapsbig.P	2013-03-26 11:33	298
	italians-english.s	2013-03-26 11:33	602
	landlocked.P	2012-06-30 12:38	304
	landlocked2.P	2012-06-30 12:38	384
	lowesthighestmountain.P	2013-03-26 11:33	365
	meals-disj.s	2013-03-26 11:33	440
	meals.P	2013-03-26 11:33	531
	meals.s	2013-03-26 11:33	659
	mondial.P	2013-03-26 11:33	1.0M
	neighbourcount.P	2012-06-30 12:38	1.0K
	orgOnContsDiv.P	2013-03-26 11:33	340
	parricide.s	2013-03-26 11:33	641
	pnotp.s	2013-03-26 11:33	18
	porq-denial.s	2013-03-26 11:33	45
	porq.s	2013-03-26 11:33	36
	pporq.s	2013-03-26 11:33	42
	pq.P	2013-03-26 11:33	67
	pq.s	2013-03-26 11:33	90
	prologask.P	2013-03-26 11:33	597
	prologbrussels.P	2013-03-26 11:33	342
	prologcut.P	2013-03-26 11:33	343
	qnotp.s	2013-03-26 11:33	18
	refint-del-b1.s	2013-03-26 11:33	424
	refint-del-b2.s	2013-03-26 11:33	507
	refint-del-d.s	2013-03-26 11:33	408
	refint.s	2013-03-26 11:33	917
	refint1.s	2013-03-26 11:33	665
	refint1b.s	2013-03-26 11:33	850
	refint2.s	2013-03-26 11:33	360
	refint3.s	2013-03-26 11:33	625
	refint4.s	2013-03-26 11:33	771
	refint4b.s	2013-03-26 11:33	771
	schweizersprachen.P	2012-06-30 12:38	500
	tcRivers.P	2012-06-30 12:38	383
	transitiveclosure.P	2013-03-26 11:33	213
	transitiveclosure2.P	2013-03-26 11:33	319
	winmove-small.s	2013-03-26 11:33	144
	winmove.P	2013-03-26 11:33	387
	winmove.s	2013-03-26 11:33	352
	winmovebug.P	2013-03-26 11:33	251
	winmovesmall.P	2013-03-26 11:33	173