Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Logic languages
Citation
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.
Description
| Title: | Logic languages |
|---|---|
| Author/s: |
|
| Item Type: | Book Section |
| Title of Book: | Encyclopedia of parallel computing |
| Date: | 2011 |
| ISBN: | 978-0-387-09766-4 |
| Subjects: | |
| 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 |
Abstract
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 |
