Course 02281 Data Logic (02280 is discontinued)

Spring term 2008

The course lecture notes Data Logic chapters 0 through 19 are put at CampusNet.

Weekly messages are distributed through DTU Campusnet..

Additional course material:

Index to Data Logic.

Small exercises in DATALOG.

Logic program exercise QUEST

Solutions to exercises in ch. 1, 2, 3.

Solutions to exercises in ch. 4, 5, 6

Solutions to exercises in ch. 7, 8, 9, 10

Solutions to exercises in ch. 11, 12, 13

Solutions to exercises in ch. 14, 15, 16

Course schedule:
is announced via Campusnet

Jørgen Fischer Nilsson

Last update January,  2008