rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Multiprocessor Execution of Logic Programs
  name:
    name part: Gupta, Gopal.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: mau
    date issued: 1994
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (264 pages)
  abstract: Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in logic programs, namely, or-parallelism, independent and-parallelism and dependent and-parallelism. Coverage includes a thorough survey of parallel implementation techniques and parallel systems developed for Prolog. Multiprocessor Execution of Logic Programs is recommended for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems. It will also be useful to people who wish to learn about the implementation of parallel logic programming systems.
  note: by Gopal Gupta.
  note: Electronic resource.
  subject:
    topic: Logic programming
  subject:
    topic: Multiprocessors
  subject:
    topic: Logic programming
  subject:
    topic: Multiprocessors
  classification: QA76.63
  classification: 005.2
  identifier: 9781461527787 (electronic bk.)
  identifier: 1461527783 (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260422160256.8
    record identifier: in00003541333
    language of cataloging:
      language term: eng