From 11e0c992c03eac995108bea2625e9fe1cca5315d Mon Sep 17 00:00:00 2001 From: ramirob03 Date: Tue, 2 Jul 2024 20:15:22 -0300 Subject: [PATCH] Subo resolucion entrega 1 --- programa.pl | 44 +++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 43 insertions(+), 1 deletion(-) diff --git a/programa.pl b/programa.pl index 409df7c..a32b152 100644 --- a/programa.pl +++ b/programa.pl @@ -1 +1,43 @@ -% Aquí va el código. +jugadores(ana, romanos, herreria). +jugadores(ana, romanos, forja). +jugadores(ana, romanos, emplumado). +jugadores(ana, romanos, laminados). +jugadores(beto, incas, herreria). +jugadores(beto, incas, forja). +jugadores(beto, incas, fundicion). +jugadores(carola, romanos, herreria). +jugadores(dimitri, romanos, herreria). +jugadores(dimitri, romanos, fundicion). + +%punto 2 + +esExperto(Jugador):- + jugadores(Jugador, Civilizacion, Tecnologia), + Tecnologia = forja, + Tecnologia = herreria, + Tecnologia = fundicion. + +esExperto(Jugador):- + jugadores(Jugador, Civilizacion, Tecnologia), + Tecnologia = forja, + Tecnologia = herreria, + Civilizacion = romanos. + +%punto 3 + +esPopular(Civilizacion):- + jugadores(Jugador1, Civilizacion, _), + jugadores(Jugador2, Civilizacion, _), + Jugador1 \= Jugador2. + +%punto 4 + +alcanceGlobal(Tecnologia):- + jugadores(_, _, Tecnologia), + forall(jugadores(Jugador, _, _), jugadores(Jugador, _, Tecnologia)). + +%punto 5 + +esLider(Civilizacion):- + jugadores(_, Civilizacion, _), + forall(jugadores(_, _, Tecnologia), jugadores(_, Civilizacion, Tecnologia)). \ No newline at end of file