Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial

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ógic...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Maguitman, Ana Gabriela, Delrieux, Claudio
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1995
Materias:
Ciencias Informáticas
Planificación de Procesos
PROGRAMMING LANGUAGES
Lógica Concurrente
PROLOG Secuencial
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24271
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24271
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Planificación de Procesos
PROGRAMMING LANGUAGES
Lógica Concurrente
PROLOG Secuencial
spellingShingle Ciencias Informáticas
Planificación de Procesos
PROGRAMMING LANGUAGES
Lógica Concurrente
PROLOG Secuencial
Maguitman, Ana Gabriela
Delrieux, Claudio
Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial
topic_facet Ciencias Informáticas
Planificación de Procesos
PROGRAMMING LANGUAGES
Lógica Concurrente
PROLOG Secuencial
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.
format Objeto de conferencia
Objeto de conferencia
author Maguitman, Ana Gabriela
Delrieux, Claudio
author_facet Maguitman, Ana Gabriela
Delrieux, Claudio
author_sort Maguitman, Ana Gabriela
title Planificación de procesos para la interpretación de programación en lógica concurrente en 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
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/24271
work_keys_str_mv AT maguitmananagabriela planificaciondeprocesosparalainterpretaciondeprogramacionenlogicaconcurrenteenprologsecuencial
AT delrieuxclaudio planificaciondeprocesosparalainterpretaciondeprogramacionenlogicaconcurrenteenprologsecuencial
bdutipo_str Repositorios
_version_ 1764820466887819265

Ejemplares similares