Professional Documents
Culture Documents
ESCRITURA DE
PROGRAMAS EN
VISUAL PROLOG
ESTRUCTURA
DE
UN
PROGRAMA EN VP
Un programa en Visual Prolog consta de cuatro secciones:
domains, predicates, goal y clauses. Cabe aclarar que
todas estas son palabras reservadas y que toda otra palabra
menos las variables deben escribirse en min
1) DOMAINS (dominio): Aqu se definen los objetos y los tipos
de datos correspondientes que usaremos en las definiciones
posteriores:
domains
objeto = tipo de dato
d) real : Acepta nmeros reales, pueden contener signo, punto decimal y varios
dgitos decimales. Tambin pueden tener una parte exponencial, pudiendo abarcar
nmeros desde +1e-307 a +1e+308, por ejemplo : 427054, -25000, 86.25, - 8.525e203 o - 8411.25658545.
e) string : Acepta una secuencia de caracteres encerrados entre comillas dobles (), por
ejemplo : esto tambin es un string. La diferencia entre el tipo symbol en 2, y los
strings es la forma de representacin interna de cada uno. El almacenamiento de los
smbolos est implementado de tal manera que su bsqueda en las tablas de memoria
es ms rpida. Adems, los smbolos, tienen problemas para hacer inserciones en
tiempo de ejecucin. Su uso estar determinado por el tipo de aplicacin que se
realice.
predicates
sabe (persona)
Aqu especificamos que el predicado sabe tiene un argumento: persona, que a su
vez en el dominio est declarado como symbol.
inteligente (persona)
trabaja (persona)
En este ejemplo hemos definido un objeto como smbolo y luego lo relacionamos con
el predicado sabe. Tambin podemos definir un predicado solo con relacionar tipos
predefinidos, como por ejemplo :
predicates
factorial (integer, real) Esto hace que la relacin factorial se establezca entre 2
objetos, uno de tipo entero y otro de tipo real.
ESTRUCTURA
DE
UN
PROGRAMA EN VP (GOAL)
GOAL (meta u objetivo a buscar): En esta seccin es donde se
indica explcitamente cul es el el objetivo del programa
Trabaja (X) and write (La persona que trabaja es, X) and n1
Aqu vemos que hay algunos predicados que nosotros no
definimos, como ser write y n1. Ambos pertenecen a los
llamados predicados predefinidos y son propios del lenguaje
VP.
PREDICADOS WRITE Y NL
write hace lo mismo que idntica instruccin en Pascal o el
print de BASIC :
Imprime un texto en la pantalla.
nl imprime solamente una secuencia de fin de lnea.
El propsito de todo el conjunto es evaluar trabaja (X) e
imprimir el resultado de ello con el mensaje entre comillas.
Las respuestas se darn a travs de la ventana de dilogos o
se deber armar una interfaz diferente.
USO
BACKTRAKING
CORTES
DEL
Y
EL CONTROL EN EL
PorVP
control se entiende la forma en que el lenguaje busca las
respuestas a las clusulas objetivos. En VP, el control respeta dos
normas:
EL CONTROL EN EL
VP (2)
VP toma en primer lugar la meta del extremo izquierdo (que
DIAGRAMA DE UN
SISTEMA EXPERTO
ESCRIBIR SU PRIMER
PROGRAMA