Programación en Visual Prolog - PARTE III
Siguiendo con el curso de Programación en Visual Prolog, aquí viene la tercera entrega. Continuaremos con el ejemplo dado en Programación en Visual Prolog - PARTE II
Entendiendo y Mejorando el Programa
valioso(oro).
valioso(plata).
valioso(bronce).
Indican que la "La plata es valiosa", "el oro es valioso". Todos estos predicados se escriben en un "programa" de Prolog. Tras "correr" el programa, se pueden hacer estas consultas:
Valioso(oro). ¿Es valioso el oro? Esta es una meta
Yes Si, es la respuesta
En vez de la consulta anterior se colocara esta nueva:
Goal Valioso(X).
X es una variable, por ello va en mayúscula
Al ejecutar la consulta la respuesta será:
X=oro
X=plata
X=bronce
3 soluciones
Esto corresponde a las especificaciones que se han definido anteriormente en las cláusulas.
Si deseas aumentar las especificaciones puedes ubicar.
valioso(cobre).
valioso(zing).
La respuesta permitirá cinco soluciones para X.
Consideración:
Si desea mejorar su aplicación podrirá ubicar entre comillas todo su programa todas las especificaciones de las cláusulas el paquete generara de mejor forma estas definiciones ubicándolas de un color respectivo.
Especificaciones en Verde Amarillento, Cláusulas en Negro, Cadenas en azul, Variables en verde claro, errores en rojo, etc.
El programa quedaría de la siguiente forma:
-
Domains
-
metal = string
-
Predicates
-
valioso(metal) %Predicado único no siempre será así
-
Clauses
-
valioso("oro").
-
valioso("plata").
-
valioso("bronce").
-
valioso("cobre"). % Cláusulas agregadas
-
valioso("zing").
-
Goal
-
valioso(X). %Consulta