victorns69 / lego-prolog

Practica propuesta en PROLOG en el curso 2018/2019

Hi there! 👋

I'm Victor and I love 💻, programming and hacking.

I used to work with blockchain technologies, now I'm a security analyst 😄

You can find me on

Languages and Tools:

NOTE: Most Used Languages does not indicate my skill level or something like that, it's a GitHub metric of which languages I have the most code on GitHub, automatically generated with github-readme-stats.

lego-prolog's Issues

coloresIncluidos/2

coloresIncluidos(Construccion1,Construccion2): predicado que se verifica si todos los colores de la Construccion1 también están en los de la Construccion2.

Es necesario que Construccion1 y Construccion2 sean torres (hay que comprobarlo).

esEdificioPar/1

esEdificioPar(Construccion): predicado que es cierto si Construccion es un edificio que cumple que cada nivel tiene un número par de clavos.

esTorre/1

esTorre(Construccion): predicado que se verifica si Construccion cumple las condiciones para ser una torre.

Las construcciones tipo torre se representan como listas de estructuras pieza/4, donde la cima de la torre (es decir, la pieza más elevada) es la cabeza de la lista.

alturaTorre/2

alturaTorre(Construccion,A): predicado que se verifica si el primer argumento Construccion es una torre, y el segundo argumento A es la altura de la torre.

coloresTorre/2

coloresTorre(Construccion,Colores): predicado que se verifica si el primer argumento Construccion es una torre y el segundo argumento Colores es una lista con los colores de la torre.

Escribir memoria

El archivo debe llamarse memoria.txt. La memoria debe indicar claramente los nombres de los alumnos que forman el grupo, así como sus números de matrícula.
La memoria debe incluir:

• (a) el código, junto con la explicación y justificación de las decisiones;
• (b) las consultas realizadas con el programa y las respuestas obtenidas con dichas consultas; y
• (c) opcionalmente, cualquier comentario aclaratorio que se estime oportuno.

esEdificioPiramide/1

esEdificioPiramide(Construccion): predicado que se verifica si Construccion es un edificio que cumple que cada nivel tiene un ancho estrictamente mayor que el nivel de arriba.