The Metalanguage λprolog and Its Implementation [chapter]

Gopalan Nadathur
2001 Lecture Notes in Computer Science  
doi:10.1007/3-540-44716-4_1 fatcat:iq3a6msg3bc53f7qgtmb4dpsui