Kieliteknologian oppiaine

Prolog-ohjelmointi: Ctl272 2004k

- KIT-verkosto | Yleisen kielitieteen laitos| Kieliteknologian opetus| Helsingin yliopisto -
Kurssin sivut
Kurssin kalenteri
Kurssin materiaali
Luennoitsija
Kurssin kuvaus

Kurssin materiaali

On-line Resources

Course Topics

1. Introduction. Facts, Rules and Queries.

2. Logic and Control. Matching and Proof Search.

3. Recursion. Lists. Genealogy Assignment.

4. More Lists. Arithmetic.

5. Difference Lists. Definite Clause Grammars.

6. Meta-level Programming. Expert Systems.

7. Backtracking, Cuts and Negation. Final Assignment.


© Graham Wilcock 2004.