Logic languages

Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2011). Logic languages. In: "Encyclopedia of parallel computing". Springer reference Encyclopedia of parallel computing . Springer, Nueva York, pp. 1057-1068. ISBN 978-0-387-09766-4. https://doi.org/10.1007/978-0-387-09766-4_116.


Title: Logic languages
Item Type: Book Section
Title of Book: Encyclopedia of parallel computing
Date: 2011
ISBN: 978-0-387-09766-4
Freetext Keywords: Concurrent logic languages; Distributed logic languages; Prolog
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERMENEGILDO_2011-01.pdf]
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview


The common name of Parallel Logic Languages groups those languages which are based on logic programming and which, while respecting as much as possible the declarative semantics, have an operational semantics which exploits parallelism or concurrency, either explicitly or implicitly, to gain in efficiency or expressiveness.

More information

Item ID: 55451
DC Identifier: https://oa.upm.es/55451/
OAI Identifier: oai:oa.upm.es:55451
DOI: 10.1007/978-0-387-09766-4_116
Official URL: https://link.springer.com/content/pdf/10.1007%2F97...
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 14 Jun 2019 07:33
Last Modified: 25 Nov 2022 08:24
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM