Higher-order extensions to prolog: are they needed? Machine Intelligence 10, 441–454. Glossary H. a higher-order language. 7 σ. a functional type. 7 ρ. an argument type. 7 π. a predicate type. 7 τ. an arbitrary type. 7 (1982)

by D H WARREN
Venue:University of Athens W. W. WADGE, University of Victoria