| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | Negation and Control in Prolog - Lee Naish (auth.) 1986.pdf | 2022-02-22 06:14 | 3377 KB |
| Prolog for Programmers.pdf | 2022-02-22 06:14 | 3264 KB |
| Warren's Abstract Machine. A tutorial reconstruction - The MIT Press. (Logic Programming) Hassan Aït-Kaci (1991).pdf | 2022-02-22 06:14 | 516 KB |