1 citations · 1 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2004★ 1 cited
A treatment of higher-order features in logic programming
Gopalan Nadathur
The logic programming paradigm provides the basis for a new intensional view of higher-order notions. This view is realized primarily by employing the terms of a typed lambda calcu…
cs.PL1998
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
The inclusion of universal quantification and a form of implication in goals in logic programming is considered. These additions provide a logical basis for scoping but they also r…