Index of /Teaching/DBT-WS1314/Datalog

	Name	Last modified	Size	Description
	Parent Directory		-
	aggregation.xwam	2014-01-24 18:16	1.3M
	bla.s.xwam	2014-01-24 18:16	155
	bla.xwam	2014-01-24 18:16	155
	headquartercaps.xwam	2014-01-24 18:16	1.3M
	headquartercapsbig.xwam	2014-01-24 18:16	1.3M
	mondial.xwam	2014-01-24 18:16	1.3M
	prologask.xwam	2014-01-24 18:16	1.3M
	prologbrussels.xwam	2014-01-24 18:16	1.3M
	transitiveclosure.xwam	2014-01-24 18:16	1.3M
	winmove.xwam	2014-01-24 18:16	1.3K
	winmovebug.xwam	2014-01-24 18:16	873
	aggs.P	2014-01-24 18:18	864
	landlocked.P	2014-01-24 18:18	304
	landlocked2.P	2014-01-24 18:18	384
	neighbourcount.P	2014-01-24 18:18	1.4K
	schweizersprachen.P	2014-01-24 18:18	513
	aggregation.P	2014-11-18 11:20	547
	aggregation2.P	2014-11-18 11:20	454
	aggrsubsumpt.P	2014-11-18 11:20	162
	arithmetics.P	2014-11-18 11:20	91
	bl2.s	2014-11-18 11:20	3.3K
	bl3.s	2014-11-18 11:20	3.4K
	bla.P	2014-11-18 11:20	11
	bla.s	2014-11-18 11:20	11
	bundesligatabelle.s	2014-11-18 11:20	3.2K
	disj.s	2014-11-18 11:20	36
	farmer.s	2014-11-18 11:20	1.1K
	fishpuzzle.s	2014-11-18 11:20	5.5K
	headquartercaps.P	2014-11-18 11:20	415
	headquartercapsbig.P	2014-11-18 11:20	298
	italians-english.s	2014-11-18 11:20	602
	lowesthighestmountain.P	2014-11-18 11:20	365
	meals-disj.s	2014-11-18 11:20	440
	meals.P	2014-11-18 11:20	531
	meals.s	2014-11-18 11:20	659
	mondial.P	2014-11-18 11:20	1.0M
	orgOnContsDiv.P	2014-11-18 11:20	340
	parricide.s	2014-11-18 11:20	641
	pnotp.s	2014-11-18 11:20	18
	porq-denial.s	2014-11-18 11:20	45
	porq.s	2014-11-18 11:20	36
	pporq.s	2014-11-18 11:20	42
	pq.P	2014-11-18 11:20	67
	pq.s	2014-11-18 11:20	90
	prologask.P	2014-11-18 11:20	597
	prologbrussels.P	2014-11-18 11:20	342
	prologcut.P	2014-11-18 11:20	343
	qnotp.s	2014-11-18 11:20	18
	refint-del-b1.s	2014-11-18 11:20	424
	refint-del-b2.s	2014-11-18 11:20	507
	refint-del-d.s	2014-11-18 11:20	408
	refint.s	2014-11-18 11:20	917
	refint1.s	2014-11-18 11:20	665
	refint1b.s	2014-11-18 11:20	850
	refint2.s	2014-11-18 11:20	360
	refint3.s	2014-11-18 11:20	625
	refint4.s	2014-11-18 11:20	771
	refint4b.s	2014-11-18 11:20	771
	tcRivers.P	2014-11-18 11:20	145
	transitiveclosure.P	2014-11-18 11:20	213
	transitiveclosure2.P	2014-11-18 11:20	319
	tweety-circ.s	2014-11-18 11:20	79
	tweety.s	2014-11-18 11:20	51
	tweety2.s	2014-11-18 11:20	68
	winmove-small.s	2014-11-18 11:20	144
	winmove.P	2014-11-18 11:20	387
	winmove.s	2014-11-18 11:20	352
	winmovebug.P	2014-11-18 11:20	251
	winmovesmall.P	2014-11-18 11:20	173