SldDraw 3.0
===========
Visualizacin de rboles SLD.
=============================
Admite programas Prolog con:

- Predicados lgicos.
- Variables annimas.
- Unificacin y no unificacin.
- Aritmtica extralgica.
- Metaprogramacin.
- Operador univ (=..).
- Cortes.
- Predicados write, write_ln, nl.
- Predicado call

No admite programas Prolog con:

- Negacin. Puede utilizarse call, corte y fallo.
- Cualquier otro predicado de entrada/salida.
- Predicados predefinidos.

INSTALACIN
===========
Se proporcionan todas las libreras necesarias para la ejecucin del programa.
Simplemente colocar todos los ficheros en un directorio.

CONFIGURACIN
=============
Existe un fichero de configuracin "sld.ini". Aqu se puede indicar
	- El idioma : en (Ingles) o es (Espaol)
	- El editor 
	- Los colores de
		- nodoColor: color de un nodo interno del rbol
		- corteColor: color de un nodo corte
		- falloColor: color de un nodo fallo
		- cicloColor: color de un nodo ciclo
		- topeColor: color de un nodo tope
		- uniColor: color de las unificaciones		
		- uniPrimColor: color de las unificaciones desde primitivas
		- programaColor: color clausula programa
		- programaIluminadoColor: color clausula programa seleccionada.	
	- El tamao de los editores internos
	- El control de ciclos
		
Tambin se proporciona ejemplos en el directorio ejemplos.

USO DEL PROGRAMA:
=================

El uso del programa es bastante intuitivo. Slo se explican algunas opciones:

-Nivel: Profundidad mxima del rbol. Es peligroso si debajo del nivel dado aparece un corte pues puede
       falsear el resultado.

-Factor Horizontal: es un valor que determina cmo de ancho ser el rbol. Cuanto mayor sean los objetivos,
       mayor debe ser este factor.

-Salto Vertical: Determina el hueco que habr entre objetivos de distintos niveles.

-Desplazamiento Horizontal: Determina la posicin del rbol con respecto a la parte izquierda del dibujo.

-Desplazamiento Vertical: Determina la posicin del rbol con respecto a la parte superior del dibujo.

-Tam. Fuente: Determina el tamao de la fuente de representacin.


Pulsaciones con el ratn:

- Con doble click del ratn en una unificacin muestra de dnde ha salido
- Con doble click en un objetivo lo muestra ms claramente
- Con un click del pulsador derecho, muestra la ventana de controles de visualizacin. 

Existe un juego de pulsaciones de teclado que permite modificar el aspecto y configuracin del rbol.

Dentro del editor EMACS  pueden utilizarse los controles EMACS
En particular:
	-Con el botn derecho se copia lo que est seleccionado
	-Con el botn de en medio (o dos botones simultneoos) se pega lo que haya sido copiado

============

Cualquier error o sugerencia puede enviarla a

	pacog@lcc.uma.es

