View in EDS PDF Full Text

Parallel Logic Programming for Problem Solving.

Saved in:
Bibliographic Details
Title: Parallel Logic Programming for Problem Solving.
Authors: Arias, Ramiro Varela1 ramiro@aic.uniovi.es, Vela, Camino Rodríguez1 camino@aic.uniovi.es, Peinador, Jorge Puente1 puente@aic.uniovi.es, González, Cesar Alonso1 calonso@aic.uniovi.es
Source: International Journal of Parallel Programming. Jun2000, Vol. 28 Issue 3, p275-319. 45p.
Subjects: Parallel logic programming, Logic programming, Parallel programming, Computer programming, Heuristic programming, Problem solving, Computer science
Abstract: We present a new model for parallel evaluation of logic programs. This model can exploit the main sources of parallelism that the language of logic expresses: Independent {\sc and} parallelism and {\sc or} parallelism, together with a secondary source emerging as a consequence of the Independent {\sc and} Parallelism: the producer/consumer parallelism. The efficiency is derived from the use of ordered structures for managing the information generated throughout the search process. The model is suitable for evaluating programs with a high degree of non-determinism because it never generates two processes for solving the same subgoal and hence it can exploit the same real parallelism generating a lower number of processes than other models. As an application example, we consider the Job Shop Scheduling problem. We report experimental results showing that logic programs can be designed that exhibit parallelism, and that the use of heuristic information translates into speedup in obtaining answers. [ABSTRACT FROM AUTHOR]
Copyright of International Journal of Parallel Programming is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 17143254
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Parallel Logic Programming for Problem Solving.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Arias%2C+Ramiro+Varela%22">Arias, Ramiro Varela</searchLink><relatesTo>1</relatesTo><i> ramiro@aic.uniovi.es</i><br /><searchLink fieldCode="AR" term="%22Vela%2C+Camino+Rodríguez%22">Vela, Camino Rodríguez</searchLink><relatesTo>1</relatesTo><i> camino@aic.uniovi.es</i><br /><searchLink fieldCode="AR" term="%22Peinador%2C+Jorge+Puente%22">Peinador, Jorge Puente</searchLink><relatesTo>1</relatesTo><i> puente@aic.uniovi.es</i><br /><searchLink fieldCode="AR" term="%22González%2C+Cesar+Alonso%22">González, Cesar Alonso</searchLink><relatesTo>1</relatesTo><i> calonso@aic.uniovi.es</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22International+Journal+of+Parallel+Programming%22">International Journal of Parallel Programming</searchLink>. Jun2000, Vol. 28 Issue 3, p275-319. 45p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Parallel+logic+programming%22">Parallel logic programming</searchLink><br /><searchLink fieldCode="DE" term="%22Logic+programming%22">Logic programming</searchLink><br /><searchLink fieldCode="DE" term="%22Parallel+programming%22">Parallel programming</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Heuristic+programming%22">Heuristic programming</searchLink><br /><searchLink fieldCode="DE" term="%22Problem+solving%22">Problem solving</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: We present a new model for parallel evaluation of logic programs. This model can exploit the main sources of parallelism that the language of logic expresses: Independent <MATH>{\sc and}</MATH> parallelism and <MATH>{\sc or}</MATH> parallelism, together with a secondary source emerging as a consequence of the Independent <MATH>{\sc and}</MATH> Parallelism: the producer/consumer parallelism. The efficiency is derived from the use of ordered structures for managing the information generated throughout the search process. The model is suitable for evaluating programs with a high degree of non-determinism because it never generates two processes for solving the same subgoal and hence it can exploit the same real parallelism generating a lower number of processes than other models. As an application example, we consider the Job Shop Scheduling problem. We report experimental results showing that logic programs can be designed that exhibit parallelism, and that the use of heuristic information translates into speedup in obtaining answers. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of International Journal of Parallel Programming is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=17143254
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1023/A:1007529200051
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 45
        StartPage: 275
    Subjects:
      – SubjectFull: Parallel logic programming
        Type: general
      – SubjectFull: Logic programming
        Type: general
      – SubjectFull: Parallel programming
        Type: general
      – SubjectFull: Computer programming
        Type: general
      – SubjectFull: Heuristic programming
        Type: general
      – SubjectFull: Problem solving
        Type: general
      – SubjectFull: Computer science
        Type: general
    Titles:
      – TitleFull: Parallel Logic Programming for Problem Solving.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Arias, Ramiro Varela
      – PersonEntity:
          Name:
            NameFull: Vela, Camino Rodríguez
      – PersonEntity:
          Name:
            NameFull: Peinador, Jorge Puente
      – PersonEntity:
          Name:
            NameFull: González, Cesar Alonso
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 06
              Text: Jun2000
              Type: published
              Y: 2000
          Identifiers:
            – Type: issn-print
              Value: 08857458
          Numbering:
            – Type: volume
              Value: 28
            – Type: issue
              Value: 3
          Titles:
            – TitleFull: International Journal of Parallel Programming
              Type: main
ResultId 1