Some Applications of the Linear Logic Programming Language Lygon
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Some Applications of the Linear Logic Programming Language Lygon
|
| Id. |
46378929 |
| Idioma |
inglés
|
| Titulo |
Some Applications of the Linear Logic Programming Language Lygon |
| Autor(es) |
Michael Winikoff
James Harland
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.9259
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We describe and discuss the applications of a logic programming language called Lygon. This language is based on linear logic, a logic designed with bounded resources in mind. Linear logic may be thought of as a generalisation of classical logic, and as a result Lygon contains various features which do not exist in (pure) Prolog, whilst maintaining all the features of (pure) Prolog. In this paper we describe various applications of this language, which include graph problems, and problems involving states and actions. In logic programming languages based on classical logic, it is possible to write elegant solutions for problems over acyclic graphs. By making use of properties of linear logic, it is possible to write similarly elegant solutions for cyclic graphs as well. As linear logic enables changes of state to be neatly expressed, it is straightforward to give Lygon solutions to problems such as the Yale shooting problem and the blocks world, and we give example solutions to each. ...
|
| Tipo |
application/postscript
|
| Palabras clave |
Logic Programming
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cs.rmit.edu.au/~jah/publications/acsc96.ps.gz
[References] 10.1.1.105.9987
[References] 10.1.1.28.2136
[References] 10.1.1.25.1142
[References] 10.1.1.22.2040
[References] 10.1.1.52.8407
[References] 10.1.1.30.1937
[References] 10.1.1.32.545
[References] 10.1.1.104.9535
[References] 10.1.1.34.2776
[References] 10.1.1.30.5874
[References] 10.1.1.29.7187
[References] 10.1.1.31.5691
[References] 10.1.1.43.4958
[References] 10.1.1.53.681
[References] 10.1.1.51.1390
[References] 10.1.1.68.3097
[References] 10.1.1.68.6794
[References] 10.1.1.41.5961
|
| Fecha de contribución |
24-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
