A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104–6389 USA

• Type: Conference
• Year: 1989
• Where: ELP
• Authors: Dale Miller
• Keywords: Automated Reasoning, ELP 1989, FUNCTION VARIABLES, September 1989 Dale, SIMPLE UNIFICATION