About: Parlog

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Parlog is a logic programming language designed for efficient utilization of parallel computer architectures. Its semantics is based on first order predicate logic. It expresses concurrency, interprocess communication, indeterminacy and synchronization within the declarative language framework. It was designed at Imperial College, London by Steve Gregory and Keith L. Clark, as a descendant of and .

Property Value
dbo:abstract
  • El PARLOG (de PARallel LOGic) es un lenguaje de programación lógica similar al Prolog. La diferencia sustancial es que en parlog se define un encabezado en el cuerpo de cada cláusula (regla) y en ese encabezado podemos definir condiciones que deben ser satisfechas para poder ejecutar el cuerpo de la cláusula. Este lenguaje está orientado al desarrollo de sistemas concurrentes o con procesos que se ejecuten en paralelo, por eso el nombre de PARLOG - PARALLEL LOGIC. (es)
  • Parlog is a logic programming language designed for efficient utilization of parallel computer architectures. Its semantics is based on first order predicate logic. It expresses concurrency, interprocess communication, indeterminacy and synchronization within the declarative language framework. It was designed at Imperial College, London by Steve Gregory and Keith L. Clark, as a descendant of and . (en)
  • PARLOG (PARallel LOGic) は、Concurrent Prologに影響を受けたKeith ClarkとSteve Gregoryにより設計された並行論理プログラミング言語である。複雑なRelational Languageの仕様を整理した後継言語として提案された。1983年に最初のバージョンが発表され、その後1986年に改良版が発表された。言語の特性や細かいシンタックスはそれぞれ異なる。 (ja)
dbo:wikiPageID
  • 31688822 (xsd:integer)
dbo:wikiPageLength
  • 1454 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1013680107 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • El PARLOG (de PARallel LOGic) es un lenguaje de programación lógica similar al Prolog. La diferencia sustancial es que en parlog se define un encabezado en el cuerpo de cada cláusula (regla) y en ese encabezado podemos definir condiciones que deben ser satisfechas para poder ejecutar el cuerpo de la cláusula. Este lenguaje está orientado al desarrollo de sistemas concurrentes o con procesos que se ejecuten en paralelo, por eso el nombre de PARLOG - PARALLEL LOGIC. (es)
  • Parlog is a logic programming language designed for efficient utilization of parallel computer architectures. Its semantics is based on first order predicate logic. It expresses concurrency, interprocess communication, indeterminacy and synchronization within the declarative language framework. It was designed at Imperial College, London by Steve Gregory and Keith L. Clark, as a descendant of and . (en)
  • PARLOG (PARallel LOGic) は、Concurrent Prologに影響を受けたKeith ClarkとSteve Gregoryにより設計された並行論理プログラミング言語である。複雑なRelational Languageの仕様を整理した後継言語として提案された。1983年に最初のバージョンが発表され、その後1986年に改良版が発表された。言語の特性や細かいシンタックスはそれぞれ異なる。 (ja)
rdfs:label
  • Parlog (es)
  • PARLOG (ja)
  • Parlog (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License