| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | A Tutorial on Lambda Prolog and its Applications to Theorem Proving Tutorial - Amy Felty. September 1997.pdf | 2022-02-22 06:15 | 289 KB |
| plilp-tutorial.ps | 2022-02-22 06:15 | 230 KB |
| Programming with Higher-Order Logic. Dale Miller, Gopalan Nadathur 2012.pdf | 2022-02-22 06:15 | 1052 KB |