Lics

ACM/IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Second Annual IEEE Symposium on

Logic in Computer Science (LICS 1987)

Invited Paper: First-order Predicate Logic as a Common Basis for Relational and Functional Programming (at LICS 1987)

Authors: Maarten H. van Emden

Abstract

This lecture will report on joint work with K. Yukawa and M.H.M. Cheng aiming at the amalgamation of relational and functional programming. The starting point is the thesis that logic programming can be used to proceed systematically from definitions of relations expressed in logic to computer programs expressed in Prolog.
Our goal is to free logic programming of some of its limitations -- to allow

However, programs should still be first-order theories, semantics should be determined by least Herbrand models, and prolog implementation techniques should be sufficient.
Our methods of proceeding require that

BibTeX

  @InProceedings{vanEmden-FirstorderPredicate,
    author = 	 {Maarten H. van Emden},
    title = 	 {First-order Predicate Logic as a Common Basis for Relational and Functional Programming},
    booktitle =  {Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science (LICS 1987)},
    year =	 {1987},
    month =	 {June}, 
    pages =      {179--179},
    location =   {Ithaca, NY, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2021-11-1017:16
Sam Staton