Tutorial on λProlog

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_142 ◽

1990 ◽

pp. 682-682

Author(s):

Amy Felty ◽

Elsa Gunter ◽

Dale MIller ◽

Frank Pfenning

Download Full-text