Logo de Prolog
Imagen
Uno de los legunajes lógicos mas polulares es SWI Prolog con el logo del buo:
Se puede bajar en forma gratuita desde
(www.swi-prolog.org)[www.swi-prolog.org/]
En la versión linux se puede instalar desde el reservorio y ejecutar directamente desde el terminal con el comando
```
swipl
```
ID:(2140, 0)
Prolog: Ventana de Dialogo
Imagen
Prolog trabaja mediante una ventana de dialogo:
Ventana de dialogo
en que se pueden ingresar consultas o instrucciones. Bajo consultas se pueden realizar afirmaciones que el sistema determina si son verdaderas o falsas respondiendo con true (verdadero) o false (falso).
El sistema presenta como puntero un numero correlativo de la consulta que se realiza seguido por el signo de interrogación y un signo menos:
```
1 ?- (primera consulta)
2 ?- (segunda consulta)
3 ?- (tercera consulta)
```
Cada consulta se debe terminar con un punto, que es el carácter que le indica el termino de la consulta. Si uno olvida el punto, el sistema pasa a una nueva linea presenta una linea vertical |. En tal situación se puede igual ingresar el punto y oprimir enter para concluir la pregunta.
ID:(1784, 0)
Prolog: Comparación de Textos
Descripción
Eso si hay que tener presente de que el sistema compara textos, o sea para el
```
juan=juan.
true.
```
es verdadero pero
```
3 = 1 + 2.
false.
```
no lo es pues la secuencia $1+2$ se ve como tres dígitos y no como la suma de dos números. Si deseamos comparar números debemos escribir
```
3 =:= 1 + 2.
true.
```
lo que sera considerado como correcto.
Nota: cada linea debe terminar con un punto y luego enter, respondiendo el sistema si la afirmación es verdadera o falsa.
ID:(963, 0)
Prolog: Consulta de Relaciones de Números
Descripción
Comparación de Números (relaciones de orden)
El sistema compara los valores de 2 y 5 y concluye que la afirmación 2 es menor que 5 es verdadera:
```
2 < 5.
true.
```
El sistema compara los valores de 2 y 5 y concluye que la afirmación 2 es mayor que 5 es falsa:
```
2 > 5.
false.
```
El sistema compara el dígito '3' con el dígito '1 + 2' y concluye que son distintos o sea la igualación tipo textos ($\text{==}$):
```
3 == 1 + 2.
false.
```
El sistema compara del número 3 con la suma 1 + 2 y concluye que ambos son iguales o sea la comparación numérica es ($\text{=:=}$):
```
3 =:= 1 + 2.
true.
```
ID:(2141, 0)
Prolog: Mas consultas de Relaciones
Descripción
En el caso de que dos elementos a comparar son distintos se emplea el símbolo $\text{=\=}$ por lo que
```
2 =\= 4.
true.
```
Otro elemento de uso numérico es el menor igual ($\text{=<}$):
```
2 =< 4.
true.
```
y la relación mayor igual ($\text{>=}$):
```
4 >= 2.
true.
```
ID:(2142, 0)