Higher-order logic programming in Prolog (1996)

by Lee Naish
Venue:In Workshop on Multi–Paradigm Logic Programming
Citations:8 - 0 self