![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| unification.txt | 1992-03-20 01:37 | 4.2K | |
| unif.slides | 1992-03-16 11:31 | 1.0K | |
| tracing.kplg | 1992-03-25 10:56 | 3.1K | |
| traces.txt | 1992-03-25 11:53 | 10K | |
| resolution.txt | 1992-03-20 01:45 | 6.0K | |
| quiz.txt | 1991-04-26 12:59 | 946 | |
| quiz.kplg | 1991-04-26 12:49 | 719 | |
| pure.slides | 1992-03-16 11:29 | 2.0K | |
| pure-prolog.txt | 1992-03-15 19:32 | 4.9K | |
| peano.kplg | 1991-04-26 11:50 | 671 | |
| introduction.txt | 1992-03-15 16:32 | 773 | |
| impure-prolog.txt | 1991-04-26 11:47 | 3.9K | |
| examples.pl | 1989-12-06 14:28 | 1.0K | |
| blocks-world.txt | 1991-04-29 23:15 | 565 | |
| blocks-world.quiz | 1992-03-27 12:40 | 1.0K | |
| analysis.txt | 1992-03-20 01:49 | 1.7K | |
| Outline-files.txt | 1992-04-15 15:39 | 305 | |