T-93.540 Logic Programming

Homework quide

Purpose

Purpose of the homeworks is to allow experimentation with the tools for support of learning the principles of logic programming.

The homeworks are voluntary but give bonus points.

Return procedure

The same submission system is used for homeworks and assignment.

The assignments are returned using a return system. The id of the course in the system is "logic2005". Students return their work using the command: 

~submitb/submit-project logic2005 cycle student-id document-file

Examples:

The cycles are
  1. homework 1
  2. homework 2

The system should prompt you back a message stating that the submission has succeeded.

Martti Meri, martti.meri@hut.fi, 27.9.2005