Chapter 5 Linear Logic Programming
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Chapter 5 Linear Logic Programming
|
| Id. |
47819684 |
| Idioma |
inglés
|
| Titulo |
Chapter 5 Linear Logic Programming |
| Autor(es) |
Linear Logic Programming
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.2053
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
s depending on the characteristics of the language. A program in this setting is simply a collection of propositions that, through their form, will lead the proof search engine down a particular path, thereby achieving a particular computation. In order to make this both feasible from the point of view of an implementation and predictable to the programmer, we need to full linear logic. We would like to emphasize that even on this fragment (called LHHF for Linear Hereditary Harrop Formulas), not every speci cation is executable, nor is it intended to be. We hope the development and the examples in this chapter will clarify this point. 5.1 Logic Programming as Goal-Directed Search Our rst approach to logic programming is via the notion of goal-directed search. It turns out that this view diverges from our earlier examples because it does not incorporate any concurrency. However, some of our earlier encodings can be rewritten to t into the language given below. Assume we are trying
|
| Tipo |
application/postscript
|
| 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-2.cs.cmu.edu/~fp/courses/linear/handouts/lp.ps
[References] 10.1.1.32.545
[References] 10.1.1.38.1225
|
| Fecha de contribución |
18-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
