Programación en Visual Prolog - PARTE I
Visual Prolog es un ambiente de programación para el lenguaje de programación Prolog. Contiene todo lo necesario para construir aplicaciones de gran tamaño, incluyendo compilador, linker y una gran librería con links a un amplio rango de APIs especializados.
La version personal es Gratuita, la profesional esta bajo pago, para poder descargarnos el programa basta con ir a http://www.visual-prolog.com e ir a la sección de descargas.
Tipos de datos en Prolog
Symbol.
Hay dos tipos de símbolos:
- Un grupo de caracteres consecutivos (letras, números y signos de subrayado) que comienzan con un carácter en minúscula.
Ejemplo: Alto,Alto_edificio,El_alto_edificio_en_la_ciudad
- Un grupo de caracteres consecutivos(letras y números) que comienzan y terminan con dobles comillas(”). Este tipo es útil cuando se quiere comenzar el símbolo con un carácter en mayúscula o si se quieres agregar espacios entre los caracteres del símbolo.
Ejemplo:”alto”,”alto edificio”
String.
Cualquier grupo de caracteres consecutivos (letras y números) que comience y termine con dobles comillas(”). Es igual a símbolo pero Prolog los trata de forma distinta.
Ejemplo:”alto”,”alto edificio”
Integer.
Cualquier numero comprendido entre (-32.768 y 32.768). El limite esta determinado porque los enteros se almacenan como valores de 16 bits, este limite puede variar según la versión de Prolog.
Ejemplo:4,-300,3004
Real.
Cualquier numero real en el rango +/- 1E-307 a +/-1E+308. El formato incluye estas opciones: signo, numero, punto decimal, fracción, E(exponente), signo para el exponente, exponente.
Ejemplo:3,3.1415
Char.
Cualquier carácter de la lista ASCII estándar, posicionado entre dos comillas sencillas(‘).
- Ejemplos:‘t’,‘X PROLOG está orientado a la resolución de problemas mediante el cálculo de predicados, basado en: Preguntas a la base de datos y Pruebas matemáticas.
- El programa PROLOG especifíca cómo debe ser la solución, en vez de dar el algoritmo para su resolución. La solución se obtiene mediante búsqueda aplicando la lógica de predicados.
Objetos de datos.
Tipos de datos primitivos: variables y constantes:
- Enteros
- Reales
- Caracteres
Los identificadores con minúscula representan hechos, los que van con mayúscula variables. El alcance de una variable es la regla donde aparece.