Higher Order Logic Programming†
83 pages
English

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Higher Order Logic Programming†

-

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
83 pages
English
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

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


Sujets

Informations

Publié par
Nombre de lectures 20
Langue 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.
  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents