![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Handouts.txt | 1992-02-03 11:34 | 3.4K | |
| Handouts2.txt | 1992-02-05 13:44 | 3.9K | |
| Handouts3.txt | 1992-02-10 13:33 | 8.2K | |
| Outline-files.txt | 1992-03-03 21:46 | 219 | |
| diff-lists.pl | 1992-02-17 22:45 | 574 | |
| introduction.txt | 1992-03-03 21:51 | 1.3K | |
| logic-basics.txt | 1992-02-10 21:31 | 7.0K | |
| non-logical.txt | 1992-02-11 19:16 | 3.2K | |
| procedural.txt | 1992-02-11 18:56 | 5.3K | |
| prolog-programming.pl | 1992-02-10 22:56 | 3.4K | |
| prolog-programming.txt | 1992-02-17 22:53 | 5.4K | |
| pure-prolog.txt | 1992-02-10 21:28 | 3.9K | |
| research-directions.txt | 1990-04-27 10:03 | 730 | |
| resol-examples.txt | 1992-02-07 12:22 | 655 | |
| resolution.txt | 1992-02-10 21:32 | 5.1K | |
| unif-examples.txt | 1992-02-05 13:46 | 185 | |
| unification.txt | 1992-02-09 23:31 | 2.1K | |