Higher Order Logic Programming†
83
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
83
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
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
Publié par
Langue
English
