T-93.540 Logic Programming

Assignments

Choose your own assignment. These are possible ideas.

---

Lisp-interpreter

Lisp-interpreter in Prolog. Basic functions are enough: atom, numberp, cons, car, cdr, if, set, eval, apply and functions like these, and of course functions necessary to do these.

Crossword Puzzles

Make a prolog-program, that composes and solves crossword puzzles. It has a database of words:

sana("katua").
sana("koti").
sana("mene").
sana("tili").
sana("tule").

Then there is a predicate crossword:

?- crossword([V1,V2],[P1,P2],R).
V2 = "koti"
V2 = "tule"
P1 = "katua"
P2 = "tili"
R = ["koti",
     "a i",
     "tule",
     "u i"
     "a"]

Adventure game

Make a text-based adventure game in prolog.

Chess

Make a chess endgame in prolog. For example following might be suitable: king and pawn against king, king and two bishops against king. Optimal chess knowledge is not needed, only some heuristics and some strategic planning are needed. See book Bratko: Prolog for Artificial Intelligence for more information.

Othello-game

Othello-game in Prolog. Use smaller board, if you have computational problems.

Expert System

Make a expert system in prolog. Choose the field yourself. System can be for example:

-       diagnosis system
-       planning system
-       intelligent learning system

Team of football playing agents

Code an player agent with Prolog. A server and client stubs for communicating from Prolog to with the server are available as well as a simple agent example. link. With further specifications and goal settings a group assignment could be made on this topic, contact the course administrators about this.

Group or Graph Theoretic assignment

Search for cores, strong components or other constructs in graphs or families of graps. Define the problems and set the ambition level suitably so that the assignments is interesting and challenging enough.

Define members of algebraic groups and binary operators for them. Form normal subgroups, study orbits and stuff. Think of some interesting topic to study using logic programming as a tool to implement the analysis algorithms.

---

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