Higher Order Logic Programming†
83 Pages
English
Gain access to the library to view online
Learn more

Higher Order Logic Programming†

-

Gain access to the library to view online
Learn more
83 Pages
English

Description

Niveau: Supérieur
Higher-Order Logic Programming† Gopalan Nadathur ‡ Computer Science Department, Duke University Durham, NC 27706 Phone: +1 (919) 660-6545, Fax: +1 (919) 660-6519 Dale Miller Computer Science Department, University of Pennsylvania Philadelphia, PA 19104-6389 USA Phone: +1 (215) 898-1593, Fax: +1 (215) 898-0587 † 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


Subjects

Informations

Published by
Reads 20
Language English

Exrait

Higher-Order Logic Programming
Gopalan NadathurComputer Science Department, Duke University Durham, NC 27706 gopalan@cs.duke.edu Phone: +1 (919) 660-6545, Fax: +1 (919) 660-6519
Dale Miller Computer Science Department, University of Pennsylvania Philadelphia, PA 19104-6389 USA dale@saul.cis.upenn.edu Phone: +1 (215) 898-1593, Fax: +1 (215) 898-0587
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: gopalan@cs.uchicago.edu.