Higher Order Logic Programming†

pages

English

Documents

Écrit par
Duke University

Publié par
chaeh

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

English

Ebook

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

chaeh

Nombre de lectures

Langue

English

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

Voir

Publié par

chaeh

Nombre de lectures

Langue

English

Higher-Order Logic Programming†

Gopalan Nadathur‡ Computer 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.