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 .
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Parlog (es)
- PARLOG (ja)
- Parlog (en)
|
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)
|
dct:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has 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)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is foaf:primaryTopic
of | |