Higher Order Logic Programming†

Duke University

Description

Niveau: Supérieur
Higher-Order Logic Programming† Gopalan Nadathur ‡ Computer Science Department, Duke University Durham, NC 27706 Phone: [phone], Fax: [phone] Dale Miller Computer Science Department, University of Pennsylvania Philadelphia, PA 19104-6389 USA Phone: [phone], Fax: [phone] † This paper is to appear in the Handbook of Logic in Artificial Intelligence and Logic Programming, D. Gabbay, C. Hogger and A. Robinson (eds.), Oxford University Press. ‡ This address is functional only until January 1, 1995. After this date, please use the following address: Department of Computer Science, University of Chicago, Ryerson Laboratory, 1100 E. 58th Street, Chicago, IL 60637, Email: .

• no positive


• functional programming


• order logic


• positive literal


• logic programming


• higher-order logic


• expressions within


• horn clause

Sujets

• University
• Functional Programming
• Literal (mathematical logic)
• Logic programming
• Higher-order logic
• Horn clause

Informations

• Publié par: chaeh
• Nombre de lectures: 20
• Langue: English

Extrait

Higher-Order Logic Programming †

Gopalan Nadathur ‡ Computer Science Department, Duke University Durham, NC 27706 [e-mail] Phone: [phone], Fax: [phone]

Dale Miller Computer Science Department, University of Pennsylvania Philadelphia, PA 19104-6389 USA [e-mail] Phone: [phone], Fax: [phone]

† This paper is to appear in theHandbook of Logic in Articial Intelligence and Logic Programming, D. Gabbay, C. Hogger and A. Robinson (eds.), Oxford University Press. ‡  After this date, please use the following address:This address is functional only until January 1, 1995. Department of Computer Science, University of Chicago, Ryerson Laboratory, 1100 E. 58th Street, Chicago, IL 60637, Email: [e-mail].