• La herramienta permite la visualización de árboles SLD para un programa y objetivo dado.

• Permite modificar la visualización atendiendo a varios parámetros.

• Controla el nivel de profundidad del árbol.

• Admite ciertas estructuras y predicados Prolog (entre ellos las listas y el predicado =..). Admite el corte.

  Versiones actuales

• WINDOWS

Proyecto Fin de Carrera realizado por Juan A. Barranquero Campos.

• Version 3.4 con y sin consola SldDraw 3.4 (1.30MB zip).
• Version 3.3 con y sin consola SldDraw 3.3 (1.20MB zip).
• Versión 3.2 sin consola  SLD Draw 3.2 (1.05MB zip).
• Versión 3.2 con consola  SLDDraw 3.2c (1.08MB zip).

• LINUX (Probado en RedHat 7.1 en adelante)
          - versión 3.3 SLDDraw 3.3 (628K tar.gz)    Proyecto Fin de Carrera realizado por Juan A. Barranquero Campos.
          - versión 3.0 SLDDraw 3.0 (360K tar)    Proyecto Fin de Carrera realizado por Juan A. Barranquero Campos.
          - Se tiene que tener instalado SWI-Prolog.  Su instalación se hace como root desde el directorio raíz.  

  Imagen ejemplo

  Ayuda

Teclas	Acción
Flechas izda. y drcha.	Factor horizontal. Controla la amplitud de la imagen.
Flechas arriba y abajo	Factor vertical. Controla la altura de la imagen.
SHIFT+flechas izda. y derecha	Desplazan la imagen a izquierda y derecha.
SHIFT+flechas izda. y derecha	Desplazan la imagen arriba y abajo.
+    -	Nivel de representación. Determina la máxima profundidad del árbol. Cuando el círculo es verde significa que el árbol está completamente representado en la imagen. En rojo indica que faltan ramas no desarrolladas por debajo del nivel de representación.
RETURN	Visualización del árbol para objetivo y programa dado
TAB	Visualización del árbol hasta un punto de ruptura. Marcado en rojo a la izqda de las cláusulas. Se selecciona con doble pulsación sobre una cláusula.
x	Visualización del árbol hasta el siguiente éxito (Sentido Prolog).
s	Visualización del árbol paso a paso (Sentido Prolog).
i	Visualización únicamente del objetivo inicial.
HOME	Restaurar parámetros determinados.
*	Obtener ventana de detalles de la visualización.
q	Detección si/no de ciclos repetidos. Si no se detectan, se visualizan las ramas repetidas.
e  r  t	Elección de regla de selección. El circulo muestra una flecha horizontal indicado que regla de selección se sigue. e -> de izquierda a derecha, r -> de derecha a izquierda, t -> aleatoria. (e es la de Prolog).
d  f  g	Elección de regla de búsqueda. El circulo muestra una flecha vertical indicado que regla de búsqueda se sigue. d -> de arriba a abajo, r -> de abajo a arriba, g -> aleatoria. (d es la de Prolog).
z	Nivel de información en la etiqueta de los arcos.
a	Nivel de información en la etiqueta de los nodos.
o	Desalineación de nodos

  Herramienta similar en Java

• JSldDraw. Realizado en Java puede ser usado como Applet o como Aplicación.
          - versión 1.0 JSldDraw (158K zip)    Proyecto Fin de Carrera realizado por Antonio Jesús Paredes García.
          - Para ejecutar ahora el programa pulse aquí.