Index of /Teaching/DBT-SS12/Datalog

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