V Concurso de

V Concurso de
PROGRAMACION LOGICA
PROGRAMACION LOGICA

M Jess Castel, Francisco Gallego, Cristina Pomares y Carlos Villagr, profesores del Dpto. de
Ciencia de la Computacin e !nteligencia "rtificial, #ue imparten la asignatura de Lgica
Computacional y $antiago Cort%s, &ecario de in'estigacin docente ((($, #ue apoya a la
docencia de la misma, presentan el quinto concurso relacionado con la programacin lgica.
(ste concurso tiene por o&)eto fomentar el inter%s del alumno por la materia de lgica,
participando en un e'ento en el #ue de&e de e*poner sus conocimientos so&re el paradigma de la
programacin lgica usando el lengua)e Prolog. Para ello se plantean retos de dificultad
incremental #ue, inicialmente, pueden ser resueltos fcilmente por cual#uier alumno #ue +aya
aprendido las &ases elementales de dic+o lengua)e durante el aprendi,a)e de la asignatura de
-gica Computacional. -a dificultad creciente, #ue 'a apareciendo en los siguientes retos, o&liga
al concursante a aprender ms so&re el lengua)e Prolog pero de una forma atracti'a y en un
am&iente de di'ersin, compa.erismo y sana competicin, como as/ lo atestiguan la e*periencia y
las opiniones de los participantes de a.os anteriores.
Podemos asegurar #ue el Concurso de Programacin -gica est pensado para #ue los alumnos
puedan demostrarse a s/ mismos #ue son capaces de muc+o ms de lo #ue creen en la
reali,acin de programas escritos en Prolog.
Anmate a participar!
"dems de ganar 0suculentos premios1 (ver: Mira el premio que puedes ganar), los concursos
relacionados con alguna materia #ue tenga #ue estudiar te moti'an para prestar mayor atencin a
la asignatura in'olucrada y tam&i%n +acen #ue ad#uieras una perspecti'a ms amplia de sus
aplicaciones y de su gran potencial.
Demuestra a tus compaeros de lo que eres capaz!, por#ue as/2
"umentars tu prestigio estudiantil.
Crecer tu autoconfian,a y adems te lle'ars un recuerdo
Cola&oras de forma directa en las acti'idades de la titulacin pues +aces #ue me)ore la
pu&licidad de sus logros.
Demuestras #ue no se 0lle'a1 ser estudiante pasi'o.
Mira el Premio que puedes ganar!
Premio 3 4Campen a&soluto52 225 euros
Premio 6 4$u&campen a&soluto52 150 euros
Premio 7 4Me)or e#uipo 8oungster52 110 euros
Premio 9 46: Me)or e#uipo 8oungster52 90 euros
- 1 -
Lugar !ec"as a tener en cuenta
Lugar# -a&oratorio de "ula -i&re L0$% &(P$ !5.
!ec"as2 'ue(es )iernes* $ 5 de +e,rero.
Jue'es, d/a 92 ;3<2<<+ = 3>2<<+? y ;3@2<<+ = 6<2<<+?
Viernes, d/a >2 ;3<2<<+ = 392<<+?
-ntrega de Premios2 @ de fe&rero a las 12#00" en $aln "ctos de la (P$.
.ases del concurso
Normas generales
1. $lo podrn participar los alumnAs de la /ni(ersidad de Alicante.
2. (l concurso tratar so&re la creacin y resolucin de mapas del 'ideo)uego P-BMan.
Codos los mapas y soluciones de&ern estar en lengua)e Prolog, el mismo lengua)e en
el #ue est implementado P-BMan.
3. -a entrega de mapas y soluciones se +ar a tra'%s de un sistema multi)ugador online
especialmente preparado. (l sistema estar operati'o a tra'%s de la De&
+ttp2EEplman.i7a.ua.es donde, adems, estar toda la informacin disponi&le como
tutoriales de creacin de mapas, +erramientas, etc.
9. $e pondr a disposicin de los alumnos todo el material necesario y un la&oratorio con
ordenadores con la ltima 'ersin de $F!BProlog instalada.
5. -os participantes cedern de forma no exclusiva a los profesores organi,adores del
concurso todos los derec+os de e*plotacin de los mapas y soluciones #ue entreguen, a
condicin de #ue sean o&ligatoriamente pu&licados &a)o licencia GGH GP- '7.
@. -a participacin en el concurso supone la plena aceptacin de estas &ases.
I. (l )urado se reser'a en todo caso el derec+o de reali,ar la correcta interpretacin de
estas normas, as/ como a modificarlas si fuera necesario, siempre con la intencin de
e'itar posi&les in)usticias.
J. -a decisin del )urado ser inapela&le.
Equipos, categoras y premios
9. (l tra&a)o podr ser reali,ado indi'idualmente o en grupos de "asta 0 participantes1
10. Hn participante ser considerado como 2ld%og 4o e*perto5 si +a participado en
anteriores ediciones del Concurso de Programacin -gica.
11. Hn participante ser considerado como 3oungster 4o 0pipiolo15 si es la primera 'e, #ue
participa en el Concurso de Programacin -gica.
12. Categoras de grupo1 Cada e#uipo tendr una categor/a segn sus integrantes2
- 2 -
Categora 3oungster 2 un e#uipo en el #ue +aya al menos un miem&ro 8oungster
40pipiolo15 se cataloga como 45om,re673oungster1 (ste e#uipo podr optar a todos los
premios del concurso.
Categora 2ld%og 2 un e#uipo formado slo por miem&ros KldDog 4e*pertos5 se
cataloga como 45om,re672ld%og1 (ste e#uipo podr optar a todos los premios menos
los pertenecientes a la categor/a 8oungster.
13. Categoras de premios1 -os e#uipos participantes optarn a los siguientes premios2
1
er
Premio# para el e#uipo campen a&soluto del torneo. Codos los e#uipos optan a
este premio.
28 Premio# para el e#uipo su&campen a&soluto del torneo. Codos los e#uipos optan
a este premio.
1
er
Premio 3oungster# para el me)or e#uipo 8oungster #ue +aya #uedado de la 7
posicin en adelante en la clasificacin final. $lo los e#uipos de categor/a 8oungster
optan a este premio.
28 Premio 3oungster# para el 6: me)or e#uipo 8oungster #ue +aya #uedado de la 9
posicin en adelante en la clasificacin final. $lo los e#uipos de categor/a 8oungster
optan a este premio.
El concurso: o!etivo
39. -os e#uipos participantes compiten todos contra todos en igualdad de condiciones.
3>. Lesultar ganador a#uel e#uipo #ue tenga mayor puntuacin total una 'e, aca&ado el
tiempo del concurso.
3@. (n caso de empate entre 6 o ms e#uipos, ganar siempre el e#uipo #ue mayor
proporcin de miem&ros 8oungster tenga. (n caso de persistir el empate, el )urado
decidir #u% e#uipo de&e ganar &asndose en las fec+as de entrega de mapas y
soluciones, la eficiencia de esos mapas y soluciones o la originalidad de dic+os mapas y
soluciones presentados. (n ltima instancia, el )urado estar capacitado para decidir no
des+acer un empate y repartir e#uitati'amente los premios #ue correspondieran a los
e#uipos empatados, si los +u&iere.
El concurso: sistema de puntuaci"n
17. -os e#uipos participantes o,tendr9n puntos por crear entregar mapas de P-BMan,
acompa:ados de una solucin.
18. Cada mapa entregado o&tendr un 'alor de energa inicial.
19. -a energa restante de un mapa se con'ertir en puntos por minuto para el e#uipo
creador del mapa.
-;emplo2 un mapa con energ/aM7<< aportar 7<< puntos por cada minuto #ue pase
a su e#uipo creador. (n 3< minutos, aportar 7<<< puntos al e#uipo.
6<. -a energ/a inicial de un mapa depender del N #ue se o&tenga al e)ecutar con P-BMan
la solucin #ue de&e acompa.ar al mapa. -a energ/a inicial ser igual al N resultante de
la e)ecucin, multiplicado por una constante C, #ue se dar a conocer durante el
concurso.
Energia(inicial) = %ejecucin x C
- 3 -
-;emplo2 en un concurso, los )ueces esta&lecen la constante C a 7. Hn e#uipo
entrega un mapa y una solucin. -a solucin se e)ecuta para ese mapa y se
o&tiene un J<N. -a energ/a inicial del mapa ser energa=! x "=#$! pun%os.
21. Ataques. Para disminuir la energ/a de un mapa, los participantes de&ern entregar
soluciones a ese mapa. Cada nue'a solucin entregada a un mapa se considerar un
ata#ue a ese mapa.
22. -as soluciones entregadas a un mapa sern e)ecutadas con P-BMan. (l < resultante de
esta e)ecucin ser considerado la +uer=a del ataque y se restar directamente de la
energ/a restante del mapa.
-;emplo2 un mapa con energ/aM7<< es atacado con una solucin #ue o&tiene un
I>N. -a energ/a restante del mapa pasa a ser energ/aM66> 47<< = I>5
67. Por muc+os ata#ues #ue un mismo e#uipo realice so&re un mapa, nunca podr restarle
ms de 3<< puntos.
69. $i un e#uipo reali,a ms de un ata#ue so&re el mismo mapa, de cada nue'o ata#ue slo
se tendr en cuenta la me)ora del N respecto al me)or de los anteriores ata#ues.
-;emplo2 un e#uipo ataca el mapa " o&teniendo un I<N. Posteriormente, lan,a
otro ata#ue so&re ", o&teniendo un J<N. (l 6: ata#ue restara slo 3< puntos al
mapa. Hn tercer ata#ue, con fuer,a @>N no restar/a 'ida al mapa. Hn cuarto
ata#ue, con fuer,a 3<<N restar/a 6< puntos 43<< = J<5. Ms ata#ues no
conseguir/an restar ms energ/a al mapa.
6>. (l )urado puede decidir limitar el nmero m*imo de ata#ues permitidos a un mismo
mapa por un mismo e#uipo. (n caso de +acerlo, el )urado de&er anunciarlo al comien,o
del concurso.
26. Cuando una solucin sea reci&ida en el ser'idor, pasar a una cola de e)ecucin. $in
em&argo, a efectos de restar energ/a al mapa atacado, se tendr en cuenta el instante
de entrega.
6I. -os mapas sern pu&licados en el sistema De& en el instante en #ue sean reci&idos,
pudiendo estar pendientes de e)ecucin para e'aluar su energ/a inicial.
6J. -os mapas podrn ser atacados en cual#uier momento, desde el mismo instante en #ue
sean pu&licados.
6O. Hn mapa comien,a a puntuar en el instante en #ue es reci&ido en el ser'idor, y termina
de puntuar cuando su energ/a restante sea < o menos puntos.
7<. -a entrega de un mapa acompa.ado de una solucin cuya e)ecucin arro)e un resultado
de <N no ser considerada 'lida y no conta&ili,ar a ningn efecto.
31. Hn mapa nunca puede puntuar negati'amente.
76. " efectos de puntuacin, slo conta&ili,arn las +oras esta&lecidas para el concurso. -os
descansos intermedios no conta&ili,arn.
- 4 -
El #oncurso: categoras de mapas
33. -os mapas de&ern ser entregados dentro de alguna de las categoras #ue los )ueces
decidan para el concurso.
34. Cada categor/a de mapas podr tener una serie de restricciones con respecto a #u%
tipos de mapas sern admitidos en esa categor/a. -as restricciones #ue se esta&le,can
a una categor/a sern de o&ligado cumplimiento por los participantes.
-;emplo2 en un concurso, los )ueces esta&lecen 9 categor/as distintas para
entregar mapas. (n la categor/a 3 slo se admiten mapas de tama.o 6<*6<. (n la
categor/a 6 slo se admiten mapas deterministas #ue utilicen al menos una puerta
y una lla'e...
35. (l )urado podr esta&lecer lmites mnimos m9>imos por e#uipo de presentacin de
mapas en cada categor/a, as/ como lmites temporales. (stos l/mites de&ern ser
fi)ados al comien,o del concurso y comunicados de&idamente a los participantes.
-;emplo2 en un concurso, los )ueces esta&lecen para la categor/a 3 un m*imo de
6 mapas presentados por e#uipo. (sto significa #ue ningn e#uipo podr entregar
ms de 6 mapas en esa categor/a durante toda la duracin del concurso. "s/
mismo, el )urado esta&lece #ue no es posi&le entregar 6 mapas simultneos a la
categor/a 6. De esta forma, mientras un e#uipo tenga un mapa con energ/a
restante en una categor/a, no podr entregar otro mapa nue'o.
7@. (l )urado podr/a decidir esta&lecer diferentes constantes C 4'er regla 6<5 para cada
categor/a.
El concurso: faltas leves
7I. (ntregar 'arias 'eces el mismo mapa durante el concurso. (l )urado podr considerar
#ue 6 mapas son el mismo si su parecido as/ lo sugiere.
7J. Go respetar alguna de las restricciones impuestas para mapas o soluciones de una
categor/a.
7O. Go comunicar al )urado diligentemente cual#uier fallo, pro&lema o falta #ue se perci&a
durante el concurso.
El concurso: faltas graves
40. ?eiteracin de +altas le(es1 " criterio del )urado, la reiteracin intencionada o no de
faltas le'es puede suponer falta gra'e, pudiendo aplicarse las sanciones pre'istas para
las faltas gra'es.
41. @acAing1 "pro'ec+arse de fallos del sistema de entrega o del softDare de P-BMan as/
como construir mapas o soluciones fuera de los l/mites de funcionamiento normal de P-B
Man. (n general, cual#uier acto informtico encaminado a saltarse las normas del )uego
para o&tener 'enta)a.
42. Plagio. (ntregar mapas o soluciones #ue no +ayan sido creados originalmente por el
e#uipo #ue los entrega. (l )urado podr decidir #ue un mapaEsolucin no es original si es
id%ntico a otro #ue no sea del autor o el parecido sugiere #ue es una modificacin de un
mapa de otro autor.
- 5 -
97. Comportamiento antideporti'o, agresin 'er&al o f/sica, falsificacin, estafa, c+anta)e o
cual#uier comportamiento #ue altere la normalidad y la &uena armon/a del concurso.
El concurso: disposiciones finales
99. $i lo considera oportuno, el )urado podr esta&lecer un lapso de tiempo de espera
o&ligatorio entre distintas entregas de mapas o soluciones a un mismo mapa.
9>. -as faltas le'es podrn ser moti'o de las siguientes sanciones2
"perci&imientoE"d'ertencia 'er&al p&lica
Descalificacin de mapas o soluciones entregados
Penali,aciones en puntos
9@. -as faltas gra'es o la acumulacin de faltas le'es podrn ser moti'o de las siguientes
sanciones2
Descalificacin de mapas o soluciones entregados
Penali,acin en puntos
Descalificacin del e#uipo
Condiciones espec+icas del concurso
" continuacin se detallan, por adelantado, algunas condiciones espec/ficas para esta > edicin
del Concurso de Programacin -gica2
-a 3 categor/a de mapas tendr las siguientes restricciones2
-os mapas de&ern ser de tama.o 6<*6<.
De&ern contener un m/nimo de I> cocos.
$e podr presentar un m*imo de 6 mapas por e#uipo.
Go ser posi&le entregar el 6: mapa mientras el 3: an tenga energ/a.
(l nmero total de categor/as del concurso y las condiciones de las dems
categor/as se +arn p&licas al comien,o del concurso.
Cada e#uipo podr atacar a un mismo mapa un m*imo de 7 'eces.
Miem,ros del ;urado
M Jess Castel de Paro.
Francisco Jos% Gallego Durn
Cristina Pomares Puig
Carlos Villagr "rnedo
$antiago Cort%s Va/llo
B/-?C- 3 D/- EA5-* LGICAMENTE* -L M-'2?1
- 6 -