$BlogRSDUrl$>
Guardado por meses.
Los siguientes listados son una referencia a partir de la cual ampliar la búsqueda de sitios relacionados (i).
Búsqueda simple en varios de los motores más conocidos. Para mayor precisión, entrar en la página correspondiente e ir al apartado de búsqueda avanzada.
Esta página traducida:
Traducción al catalán, internostrum; traducción al portugués, universia.
Agregue este sitio a su lector de "feeds" (sindicación mediante el sistema Atom).
Espacio dedicado a la programación lógica y la recuperación de información, con una atención especial al lenguaje Prolog y otros lenguajes afines, pertenecientes al paradigma lógico y declarativo. También se tratará de hablar de estos temas desde la perspectiva de la Biblioteconomía y la Documentación.
Schelog es una implementación desarrollada por D. Sitaram que permite combinar fragmentos de código escritos en un estilo de programación similar a Prolog (incluyendo las principales características de este lenguaje tales como el backtracking o retroceso, la unificación, el corte, la negación, predicados meta-lógicos, etc.) con expresiones en Scheme puro o convencional (Scheme es un lenguaje derivado de Lisp - ver la anterior anotación en la que hacíamos referencia a este último), dentro de una misma aplicación:
Schelog is an embedding of Prolog-style logic programming in Scheme. "Embedding'' means you don't lose Scheme: You can use Prolog-style and conventional Scheme code fragments alongside each other. Schelog contains the full repertoire of Prolog features, including meta-logical and second-order ("set'') predicates, leaving out only those features that could more easily and more efficiently be done with Scheme subexpressions.
La sintaxis de Schelog es la propia del lenguaje Lisp/Scheme (básicamente, consiste en listas anidadas e indentadas, sin comas, indicadas mediante paréntesis, anteposición de los signos de operación a los argumentos, cadenas de caracteres entre comillas, etc.). A modo de ejemplo, se indica a continuación la porción de código necesaria para calcular, recursivamente, el factorial de un número, en Prolog en primer lugar, y en Schelog en segundo (recordemos que el factorial de un número natural n, es el producto de todos los números naturales desde 1 hasta n):
factorial(0,1):- !. factorial(X,Y):- X1 is X-1, factorial(X1,Y1), Y is X*Y1. (define %factorial (%rel (x y x1 y1) [(0 1) !] [(x y) (< x 0) ! %fail] [(x y) (%is x1 (- x 1)) (%factorial x1 y1) (%is y (* y1 x))]))
Schelog puede ser considerado como una combinación entre los estilos de programación o paradigmas representados por el lenguaje Prolog por un lado (programación lógica), y el dialecto de Lisp Scheme por otro (programación declarativa y funcional). "Programming in Schelog" es una introducción en la que el mencionado D. Sitaram aborda la sintaxis y la programación mediante la implementación que venimos comentando. Por otra parte, y de este mismo autor, "Teach Yourself Scheme in Fixnum Days" es una guía rápida e introducción al lenguaje Scheme.
Finalmente, recomendar la lectura de una introducción de carácter general, referida a los orígenes del lenguaje Scheme: "Scheme: lo pequeño es bello - Un lenguaje de programación ideal para la enseñanza" (Carlos Coello). Este artículo fue publicado posteriormente (formato PS comprimido en un .zip) por el autor, con idéntico título y más extensión y profundidad, en la revista Soluciones Avanzadas (números 39 y 43; actualmente esta publicación parece no estar disponible en línea, si bien en Internet Archive es posible localizar varias copias). Esta nueva versión ampliada de "Scheme: lo pequeño es bello..." añade, a la explicación de la parte histórica y de desarrollo del lenguaje Scheme, una introducción, con ejemplos, a sus características esenciales y sintaxis de uso, principales versiones y extensiones, así como una consideración final en torno a su utilidad en la investigación y enseñanza en el campo de los lenguajes de programación ("Scheme como un instrumento para la enseñanza").