Texto completo
![[thumbnail of HERME_2023_04.pdf]](https://oa.upm.es/style/images/fileicons/application_pdf.png) |
PDF (Portable Document Format)
- Acceso permitido solamente al administrador del Archivo Digital UPM
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (4MB) |
Types, modes and so much more – The prolog way
Cita
Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X, Morales Caballero, José Francisco ORCID: https://orcid.org/0000-0001-9782-8135, López García, Pedro ORCID: https://orcid.org/0000-0002-1092-2071 and Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135
(2023).
Types, modes and so much more – The prolog way.
En:
"Prolog: the next 50 years".
Lecture Notes in Computer Science
(13900).
Springer, Alemania, pp. 23-37.
ISBN 978-3-031-35254-6.
https://doi.org/10.1007/978-3-031-35254-6_2.
ORCID: https://orcid.org/0000-0002-7583-323X, Morales Caballero, José Francisco ORCID: https://orcid.org/0000-0001-9782-8135, López García, Pedro ORCID: https://orcid.org/0000-0002-1092-2071 and Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135
(2023).
Types, modes and so much more – The prolog way.
En:
"Prolog: the next 50 years".
Lecture Notes in Computer Science
(13900).
Springer, Alemania, pp. 23-37.
ISBN 978-3-031-35254-6.
https://doi.org/10.1007/978-3-031-35254-6_2.
Descripción
| Título: | Types, modes and so much more – The prolog way |
|---|---|
| Autor/es: |
|
| Editor/es: |
|
| Tipo de Documento: | Sección de Libro |
| Título del Libro: | Prolog: the next 50 years |
| Fecha: | 16 Junio 2023 |
| ISBN: | 978-3-031-35254-6 |
| Nombre de la Serie: | Lecture Notes in Computer Science |
| Número: | 13900 |
| Materias: | |
| ODS: | |
| Palabras Clave Informales: | Prolog, static languages, dynamic languages, types, modes, aassertions, verification, testing, test generation, language extensions |
| Escuela: | E.T.S. de Ingenieros Informáticos (UPM) |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
We present in a tutorial way some ideas developed in the context of the Ciao Prolog system that we believe could be useful for the future evolution of Prolog. We concentrate primarily on one area: the use of assertions with types, modes, and other properties, and how the unique characteristics of Prolog have made early advances possible in the area of combining static and dynamic language features. However, we also address briefly some other issues related to extending the expressiveness and functionality of the language.
Proyectos asociados
Tipo
Código
Acrónimo
Responsable
Título
Gobierno de España
PID2019-108528RB-C21
Sin especificar
Sin especificar
ProCode Project
Comunidad de Madrid
P2018/TCS-4339
BLOQUES-CM
Sin especificar
Sin especificar
Gobierno de España
TED2021-132464B-I00
Sin especificar
Sin especificar
Prodigy Project
Gobierno de España
FJC2021-047102-I
Sin especificar
Sin especificar
Sin especificar
Más información
| ID de Registro: | 93426 |
|---|---|
| Identificador DC: | https://oa.upm.es/93426/ |
| Identificador OAI: | oai:oa.upm.es:93426 |
| Identificador DOI: | 10.1007/978-3-031-35254-6_2 |
| URL Oficial: | https://link.springer.com/chapter/10.1007/978-3-03... |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 27 Ene 2026 15:33 |
| Ultima Modificación: | 29 Ene 2026 11:04 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
