View in EDS PDF Full Text

HORN CLAUSES.

Saved in:
Bibliographic Details
Title: HORN CLAUSES.
Authors: Jeffery, John M.1, Loho, Jorge2, Murata, Tadao2
Source: Encyclopedia of Electrical & Electronics Engineering. 1999 1st Edition, Vol. 9, p195-203. 9p.
Subjects: Horn clauses, Computer science, Logic programming, Information technology, Computer software, Databases
Abstract: The discovery of Horn clauses has made programming in logic a reality. Perhaps the most evident contribution to computer science is the logic programming language Prolog (1,13). Logic programming has matured into a field in its own right and has found applications in such diverse fields as program verification, computational biology, and databases. Deductive databases are a direct descendent of Horn logic and have had a major impact on database technology. There are two major conferences dedicated to the presentation of research work in the area: the North American Conference on Logic Programming and the International Conference of Logic Programming. There is also a journal, the Journal of Logic Programming, which recently celebrated its 25th anniversary. One can also regularly find papers in the major journals of databases, programming languages, and artificial intelligence founded in logic programming concepts.
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 17315816
AccessLevel: 6
PubType: Book
PubTypeId: book
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: HORN CLAUSES.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Jeffery%2C+John+M%2E%22">Jeffery, John M.</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Loho%2C+Jorge%22">Loho, Jorge</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Murata%2C+Tadao%22">Murata, Tadao</searchLink><relatesTo>2</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Encyclopedia+of+Electrical+%26+Electronics+Engineering%22">Encyclopedia of Electrical & Electronics Engineering</searchLink>. 1999 1st Edition, Vol. 9, p195-203. 9p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Horn+clauses%22">Horn clauses</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink><br /><searchLink fieldCode="DE" term="%22Logic+programming%22">Logic programming</searchLink><br /><searchLink fieldCode="DE" term="%22Information+technology%22">Information technology</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Databases%22">Databases</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The discovery of Horn clauses has made programming in logic a reality. Perhaps the most evident contribution to computer science is the logic programming language Prolog (1,13). Logic programming has matured into a field in its own right and has found applications in such diverse fields as program verification, computational biology, and databases. Deductive databases are a direct descendent of Horn logic and have had a major impact on database technology. There are two major conferences dedicated to the presentation of research work in the area: the North American Conference on Logic Programming and the International Conference of Logic Programming. There is also a journal, the Journal of Logic Programming, which recently celebrated its 25th anniversary. One can also regularly find papers in the major journals of databases, programming languages, and artificial intelligence founded in logic programming concepts.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=17315816
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 9
        StartPage: 195
    Subjects:
      – SubjectFull: Horn clauses
        Type: general
      – SubjectFull: Computer science
        Type: general
      – SubjectFull: Logic programming
        Type: general
      – SubjectFull: Information technology
        Type: general
      – SubjectFull: Computer software
        Type: general
      – SubjectFull: Databases
        Type: general
    Titles:
      – TitleFull: HORN CLAUSES.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Jeffery, John M.
      – PersonEntity:
          Name:
            NameFull: Loho, Jorge
      – PersonEntity:
          Name:
            NameFull: Murata, Tadao
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 09
              M: 01
              Text: 1999 1st Edition
              Type: published
              Y: 1999
          Numbering:
            – Type: volume
              Value: 9
          Titles:
            – TitleFull: Encyclopedia of Electrical & Electronics Engineering
              Type: main
ResultId 1