Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial
- Autores
- Maguitman, Ana Gabriela; Delrieux, Claudio
- Año de publicación
- 1995
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- Entre las propiedades esperadas para un lenguaje declarativo ideal podemos destacar la abstracción de control. En un programa, condicionar los resultados al orden de ejecución secuencial nos lleva a realizar supuestos que van más allá de su verdadero significado lógico. Presentamos un lenguaje lógico concurrente que permitirá liberarnos de estas imposiciones de control que desvirtúan a los lenguajes lógicos secuenciales (PROLOG). En este trabajo, analizamos las características del lenguaje presentado, así como su implementación mediante un metaintérprete PROLOG. Mostramos las cláusulas con guardas, sus componentes y significado lógico. Comparamos la semántica operacional del nuevo modelo con la de PROLOG, lo que nos llevará al estudio de la semántica de procesos, del matching, del chequeo de guardas y de la interpretación don't care de no determinismo. Describimos un algoritmo de planificación que permite atender pro.cesos derivados de la computación de manera ecuánime y respetando las restricciones impuestas por el programador, quien dispondrá de herramientas especiales para controlar la evaluación de las consultas. Finalmente damos una serie de programas como ejemplo para investigar nuevas técnicas y aplicaciones que pasan a ser posibles gracias a la potencialidad del lenguaje en cuestión.
Eje: Lenguajes de programación
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Planificación de Procesos
PROGRAMMING LANGUAGES
Lógica Concurrente
PROLOG Secuencial - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/24271
Ver los metadatos del registro completo
id |
SEDICI_f3c50d5ebb2cbefc09d62f0dc5fb96ec |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/24271 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencialMaguitman, Ana GabrielaDelrieux, ClaudioCiencias InformáticasPlanificación de ProcesosPROGRAMMING LANGUAGESLógica ConcurrentePROLOG SecuencialEntre las propiedades esperadas para un lenguaje declarativo ideal podemos destacar la abstracción de control. En un programa, condicionar los resultados al orden de ejecución secuencial nos lleva a realizar supuestos que van más allá de su verdadero significado lógico. Presentamos un lenguaje lógico concurrente que permitirá liberarnos de estas imposiciones de control que desvirtúan a los lenguajes lógicos secuenciales (PROLOG). En este trabajo, analizamos las características del lenguaje presentado, así como su implementación mediante un metaintérprete PROLOG. Mostramos las cláusulas con guardas, sus componentes y significado lógico. Comparamos la semántica operacional del nuevo modelo con la de PROLOG, lo que nos llevará al estudio de la semántica de procesos, del matching, del chequeo de guardas y de la interpretación don't care de no determinismo. Describimos un algoritmo de planificación que permite atender pro.cesos derivados de la computación de manera ecuánime y respetando las restricciones impuestas por el programador, quien dispondrá de herramientas especiales para controlar la evaluación de las consultas. Finalmente damos una serie de programas como ejemplo para investigar nuevas técnicas y aplicaciones que pasan a ser posibles gracias a la potencialidad del lenguaje en cuestión.Eje: Lenguajes de programaciónRed de Universidades con Carreras en Informática (RedUNCI)1995-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf39-50http://sedici.unlp.edu.ar/handle/10915/24271spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:46Zoai:sedici.unlp.edu.ar:10915/24271Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:46.452SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial |
title |
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial |
spellingShingle |
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial Maguitman, Ana Gabriela Ciencias Informáticas Planificación de Procesos PROGRAMMING LANGUAGES Lógica Concurrente PROLOG Secuencial |
title_short |
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial |
title_full |
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial |
title_fullStr |
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial |
title_full_unstemmed |
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial |
title_sort |
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial |
dc.creator.none.fl_str_mv |
Maguitman, Ana Gabriela Delrieux, Claudio |
author |
Maguitman, Ana Gabriela |
author_facet |
Maguitman, Ana Gabriela Delrieux, Claudio |
author_role |
author |
author2 |
Delrieux, Claudio |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Planificación de Procesos PROGRAMMING LANGUAGES Lógica Concurrente PROLOG Secuencial |
topic |
Ciencias Informáticas Planificación de Procesos PROGRAMMING LANGUAGES Lógica Concurrente PROLOG Secuencial |
dc.description.none.fl_txt_mv |
Entre las propiedades esperadas para un lenguaje declarativo ideal podemos destacar la abstracción de control. En un programa, condicionar los resultados al orden de ejecución secuencial nos lleva a realizar supuestos que van más allá de su verdadero significado lógico. Presentamos un lenguaje lógico concurrente que permitirá liberarnos de estas imposiciones de control que desvirtúan a los lenguajes lógicos secuenciales (PROLOG). En este trabajo, analizamos las características del lenguaje presentado, así como su implementación mediante un metaintérprete PROLOG. Mostramos las cláusulas con guardas, sus componentes y significado lógico. Comparamos la semántica operacional del nuevo modelo con la de PROLOG, lo que nos llevará al estudio de la semántica de procesos, del matching, del chequeo de guardas y de la interpretación don't care de no determinismo. Describimos un algoritmo de planificación que permite atender pro.cesos derivados de la computación de manera ecuánime y respetando las restricciones impuestas por el programador, quien dispondrá de herramientas especiales para controlar la evaluación de las consultas. Finalmente damos una serie de programas como ejemplo para investigar nuevas técnicas y aplicaciones que pasan a ser posibles gracias a la potencialidad del lenguaje en cuestión. Eje: Lenguajes de programación Red de Universidades con Carreras en Informática (RedUNCI) |
description |
Entre las propiedades esperadas para un lenguaje declarativo ideal podemos destacar la abstracción de control. En un programa, condicionar los resultados al orden de ejecución secuencial nos lleva a realizar supuestos que van más allá de su verdadero significado lógico. Presentamos un lenguaje lógico concurrente que permitirá liberarnos de estas imposiciones de control que desvirtúan a los lenguajes lógicos secuenciales (PROLOG). En este trabajo, analizamos las características del lenguaje presentado, así como su implementación mediante un metaintérprete PROLOG. Mostramos las cláusulas con guardas, sus componentes y significado lógico. Comparamos la semántica operacional del nuevo modelo con la de PROLOG, lo que nos llevará al estudio de la semántica de procesos, del matching, del chequeo de guardas y de la interpretación don't care de no determinismo. Describimos un algoritmo de planificación que permite atender pro.cesos derivados de la computación de manera ecuánime y respetando las restricciones impuestas por el programador, quien dispondrá de herramientas especiales para controlar la evaluación de las consultas. Finalmente damos una serie de programas como ejemplo para investigar nuevas técnicas y aplicaciones que pasan a ser posibles gracias a la potencialidad del lenguaje en cuestión. |
publishDate |
1995 |
dc.date.none.fl_str_mv |
1995-10 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/24271 |
url |
http://sedici.unlp.edu.ar/handle/10915/24271 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf 39-50 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844615817575006208 |
score |
13.070432 |