integrante(i1)
integrante(i2)
integrante(i3)
integrante(i4)

horario(mañana)
horario(mediodia)
horario(tarde)
horario(noche)

lugar(sala1)
lugar(sala2)
lugar(lab)
lugar(buffet)
lugar(cafe)
lugar(restaurant)

dia(lunes)
dia(martes)
dia(miercoles)
dia(jueves)
dia(viernes)
dia(sabado)
dia(domingo)

tratar(tema1)
tratar(tema2)
tratar(tema3)
tratar(tema4)

objetivo(and(not(dia(viernes)),horario(mañana)))
objetivo(dia(jueves))
objetivo(dia(lunes))
objetivo(dia(martes))
objetivo(dia(miercoles))
objetivo(horario(mañana))
objetivo(horario(mediodia))
objetivo(horario(tarde))
objetivo(lugar(lab))
objetivo(lugar(sala1))
objetivo(not(dia(domingo)))
objetivo(not(dia(jueves)))
objetivo(not(dia(lunes)))
objetivo(not(dia(martes)))
objetivo(not(dia(sabado)))
objetivo(not(dia(viernes)))
objetivo(not(horario(mediodia)))
objetivo(not(horario(noche)))
objetivo(not(horario(tarde)))
objetivo(not(lugar(buffet)))
objetivo(not(lugar(cafe)))
objetivo(not(lugar(restaurant)))
objetivo(not(lugar(sala1)))
objetivo(not(tratar(tema2)))
objetivo(not(tratar(tema3)))
objetivo(not(tratar(tema4)))
objetivo(tratar(tema1))
objetivo(tratar(tema2))
objetivo(tratar(tema4))

//Integrante i1
tiene_objetivo(i1,objetivo(not(lugar(sala1))))
tiene_objetivo(i1,objetivo(not(horario(noche))))
tiene_objetivo(i1,objetivo(and(not(dia(viernes)),horario(mañana))))
tiene_objetivo(i1,objetivo(horario(mañana)))
tiene_objetivo(i1,objetivo(horario(tarde)))
tiene_objetivo(i1,objetivo(dia(miercoles)))
tiene_objetivo(i1,objetivo(dia(jueves)))
tiene_objetivo(i1,objetivo(tratar(tema1))))
tiene_objetivo(i1,objetivo(tratar(tema3))))
tiene_objetivo(i1,objetivo(not(tratar(tema4))))

prefiere(i1,objetivo(not(horario(noche))),objetivo(not(lugar(sala1))))
prefiere(i1,objetivo(dia(miercoles)),objetivo(dia(martes)))
prefiere(i1,objetivo(lugar(cafe)),objetivo(lugar(buffet)))
prefiere(i1,objetivo(tratar(tema1))),objetivo(tratar(tema3))))
prefiere(i1,objetivo(tratar(tema1))),objetivo(not(tratar(tema4)))))
prefiere(i1,objetivo(tratar(tema3))),objetivo(not(tratar(tema4)))))

cree(i1,implica(lugar(cafe)),horario(mañana))
cree(i1,implica(lugar(restaurant)),not(horario(noche)))
cree(i1,implica(tratar(tema3)),integrante(i2)))
cree(i1,implica(tratar(tema1)),tratar(tema3))))
cree(i1,implica(lugar(sala1)),not(proyeccion))))
cree(i1,implica(proyeccion,tratar(tema1)))

puede(i1,tratar(tema1)))
puede(i1,tratar(tema2)))
puede(i1,tratar(tema3)))

// Integrante i2
tiene_objetivo(i2,objetivo(not(dia(sabado))))
tiene_objetivo(i2,objetivo(not(dia(domingo))))
tiene_objetivo(i2,objetivo(not(dia(lunes))))
tiene_objetivo(i2,objetivo(not(horario(tarde))))
tiene_objetivo(i2,objetivo(horario(mediodia)))
tiene_objetivo(i2,objetivo(dia(martes)))
tiene_objetivo(i2,objetivo(dia(miercoles)))
tiene_objetivo(i2,objetivo(lugar(lab)))
tiene_objetivo(i2,objetivo(tratar(tema1)))
tiene_objetivo(i2,objetivo(tratar(tema4)))
tiene_objetivo(i2,objetivo(not(tratar(tema2))))

prefiere(i2,objetivo(tratar(tema4)),objetivo(tratar(tema1)))
prefiere(i2,objetivo(not(tratar(tema2))),objetivo(tratar(tema1)))
prefiere(i2,objetivo(not(dia(domingo))),objetivo(not(dia(sabado)))) //prefiere el sabado al domingo
prefiere(i2,objetivo(not(dia(sabado))),objetivo(not(dia(lunes))))
prefiere(i2,objetivo(not(horario(mediodia))),objetivo(not(horario(tarde))))
prefiere(i2,objetivo( dia(martes)),objetivo( dia(miercoles)))

puede(i2,tratar(tema1))
puede(i2,tratar(tema2))
puede(i2,tratar(tema4))

cree(i2, not(lugar(Sala2))) //Ocupada
cree(i2, implica(not(tratar(tema4)))), not(tratar(tema1)))))
cree(i2, implica(tratar(tema2),lugar(lab)))
cree(i2, implica(tecnologia, lugar(lab)))
cree(i2, implica(lugar(lab),proyeccion))


// Integrante i3
tiene_objetivo(i3,objetivo(lugar(sala1)))
tiene_objetivo(i3,objetivo(horario(mañana)))
tiene_objetivo(i3,objetivo(not(horario(noche))))
tiene_objetivo(i3,objetivo(not(dia(jueves))))
tiene_objetivo(i3,objetivo(not(dia(viernes))))
tiene_objetivo(i3,objetivo(not(dia(sabado))))
tiene_objetivo(i3,objetivo(not(dia(domingo))))
tiene_objetivo(i3,objetivo(dia(lunes)))
tiene_objetivo(i3,objetivo(tratar(tema2)))
tiene_objetivo(i3,objetivo(tratar(tema4)))
tiene_objetivo(i3,objetivo(not(tratar(tema3))))

prefiere(i3,objetivo(not(horario(noche))),objetivo(horario(mañana)))
prefiere(i3,objetivo(tratar(tema2)),objetivo( not(dia(viernes))))
prefiere(i3,objetivo(tratar(tema2)),objetivo( not(dia(jueves))))

cree(i3, not(lugar(Sala2))) //Ocupada
cree(i3, implica(not(tratar(tema2)),not(tratar(tema1))))
cree(i3, implica(tratar(tema2),tecnologia))

puede(i3, tratar(tema2))
puede(i3, tratar(tema3))
puede(i3, tratar(tema4))


// Integrante i4
tiene_objetivo(i4,objetivo(not(lugar(buffet))))
tiene_objetivo(i4,objetivo(not(lugar(cafe))))
tiene_objetivo(i4,objetivo(not(lugar(restaurant))))
tiene_objetivo(i4,objetivo(lugar(sala1))))
tiene_objetivo(i4,objetivo(lugar(lab))))
tiene_objetivo(i4,objetivo(not(dia(lunes))))
tiene_objetivo(i4,objetivo(not(dia(martes))))
tiene_objetivo(i4,objetivo(not(dia(sabado))))
tiene_objetivo(i4,objetivo(not(dia(domingo))))
tiene_objetivo(i4,objetivo(dia(jueves)))
tiene_objetivo(i4,objetivo(not(horario(mediodia))))
tiene_objetivo(i4,objetivo(horario(tarde)))
tiene_objetivo(i4,objetivo(not(horario(noche))))
tiene_objetivo(i4,objetivo(tratar(tema1)))
tiene_objetivo(i4,objetivo(tratar(tema2)))
tiene_objetivo(i4,objetivo(not(tratar(tema3))))

prefiere(i4,objetivo(lugar(sala1))),objetivo(objetivo(lugar(lab)))
prefiere(i4,objetivo(not(dia(lunes))),objetivo(not(dia(martes))))
prefiere(i4,objetivo(not(horario(noche)),objetivo(horario(tarde)))
prefiere(i4,objetivo(tratar(tema1)),objetivo(tratar(tema2)))
prefiere(i4,objetivo(tratar(tema1)),objetivo(not(tratar(tema3))))
prefiere(i4,objetivo(tratar(tema2)),objetivo(not(tratar(tema3))))

cree(i4, not(lugar(buffet))) //Ocupada
cree(i4, not(and(lugar(lab),dia(lunes))))
cree(i4, not(and(lugar(lab),dia(martes))))
cree(i4, implica(not(tratar(tema2)))), not(tratar(tema1)))))
cree(i4, implica(tratar(tema1),lugar(lab)))

puede(i4, tratar(tema2))
puede(i4, tratar(tema3))
puede(i4, tratar(tema4))


//Histórico
acepto(i1,horario(noche))
prometio(i3,i1,tratar(tema3)))
prometio(i1,i2,tratar(tema4)))
prometio(i4,i3,tratar(tema2)))
acepto(i1,lugar(lab))
acepto(i1,lugar(sala2))
acepto(i2,lugar(buffet))
acepto(i2,lugar(sala1))
acepto(i2,lugar(sala2))
acepto(i2,lugar(buffet))
acepto(i3,lugar(cafe))
acepto(i4,lugar(sala1))
acepto(i4,lugar(sala2))
acepto(i2,tratar(tema1))
acepto(i2,tratar(tema2))
acepto(i2,tratar(tema3))
acepto(i1,tratar(tema4)))
acepto(i1,tratar(tema1))
acepto(i1,tratar(tema3))
acepto(i3,tratar(tema1))
acepto(i3,tratar(tema2))
acepto(i3,tratar(tema4))
acepto(i4,tratar(tema2))
acepto(i4,tratar(tema3))
acepto(i4,tratar(tema4))
acepto(i3, horario(noche))
acepto(i3, horario(mañana))


// Generales
cree(_,not(and(lugar(sala1),dia(sabado))))
cree(_,not(and(lugar(sala2),dia(sabado))))
cree(_,not(and(lugar(buffet),dia(sabado))))
cree(_,not(and(lugar(sala1),dia(domingo))))
cree(_,not(and(lugar(sala2),dia(domingo))))
cree(_,not(and(lugar(buffet),dia(domingo))))

// Posibles propuestas
// Positivas - Aceptaciones
aceptar(i1,dia(lunes))
aceptar(i1,dia(martes))
aceptar(i1,dia(miercoles))
aceptar(i1,dia(jueves))
aceptar(i1,dia(viernes))
aceptar(i1,dia(sabado))
aceptar(i1,dia(domingo))

aceptar(i2,dia(lunes))
aceptar(i2,dia(martes))
aceptar(i2,dia(miercoles))
aceptar(i2,dia(jueves))
aceptar(i2,dia(viernes))
aceptar(i2,dia(sabado))
aceptar(i2,dia(domingo))

aceptar(i3,dia(lunes))
aceptar(i3,dia(martes))
aceptar(i3,dia(miercoles))
aceptar(i3,dia(jueves))
aceptar(i3,dia(viernes))
aceptar(i3,dia(sabado))
aceptar(i3,dia(domingo))

aceptar(i3,dia(lunes))
aceptar(i3,dia(martes))
aceptar(i3,dia(miercoles))
aceptar(i3,dia(jueves))
aceptar(i3,dia(viernes))
aceptar(i3,dia(sabado))
aceptar(i3,dia(domingo))

aceptar(i1,horario(mañana))
aceptar(i1,horario(mediodia))
aceptar(i1,horario(tarde))
aceptar(i1,horario(noche))

aceptar(i2,horario(mañana))
aceptar(i2,horario(mediodia))
aceptar(i2,horario(tarde))
aceptar(i2,horario(noche))

aceptar(i3,horario(mañana))
aceptar(i3,horario(mediodia))
aceptar(i3,horario(tarde))
aceptar(i3,horario(noche))

aceptar(i4,horario(mañana))
aceptar(i4,horario(mediodia))
aceptar(i4,horario(tarde))
aceptar(i4,horario(noche))

aceptar(i1,lugar(sala1))
aceptar(i1,lugar(sala2))
aceptar(i1,lugar(buffet))
aceptar(i1,lugar(restaurant))
aceptar(i1,lugar(cafe))
aceptar(i1,lugar(lab))

aceptar(i2,lugar(sala1))
aceptar(i2,lugar(sala2))
aceptar(i2,lugar(buffet))
aceptar(i2,lugar(restaurant))
aceptar(i2,lugar(cafe))
aceptar(i2,lugar(lab))

aceptar(i3,lugar(sala1))
aceptar(i3,lugar(sala2))
aceptar(i3,lugar(buffet))
aceptar(i3,lugar(restaurant))
aceptar(i3,lugar(cafe))
aceptar(i3,lugar(lab))

aceptar(i4,lugar(sala1))
aceptar(i4,lugar(sala2))
aceptar(i4,lugar(buffet))
aceptar(i4,lugar(restaurant))
aceptar(i4,lugar(cafe))
aceptar(i4,lugar(lab))

aceptar(i1,integrante(i1))
aceptar(i1,integrante(i2))
aceptar(i1,integrante(i3))
aceptar(i1,integrante(i4))

aceptar(i2,integrante(i1))
aceptar(i2,integrante(i2))
aceptar(i2,integrante(i3))
aceptar(i2,integrante(i4))

aceptar(i3,integrante(i1))
aceptar(i3,integrante(i2))
aceptar(i3,integrante(i3))
aceptar(i3,integrante(i4))

aceptar(i4,integrante(i1))
aceptar(i4,integrante(i2))
aceptar(i4,integrante(i3))
aceptar(i4,integrante(i4))

aceptar(i1,tratar(tema1))
aceptar(i1,tratar(tema2))
aceptar(i1,tratar(tema3))
aceptar(i1,tratar(tema4))

aceptar(i2,tratar(tema1))
aceptar(i2,tratar(tema2))
aceptar(i2,tratar(tema3))
aceptar(i2,tratar(tema4))

aceptar(i3,tratar(tema1))
aceptar(i3,tratar(tema2))
aceptar(i3,tratar(tema3))
aceptar(i3,tratar(tema4))

aceptar(i4,tratar(tema1))
aceptar(i4,tratar(tema2))
aceptar(i4,tratar(tema3))
aceptar(i4,tratar(tema4))

// Negativas - NO Aceptaciones
rechazar(i1,dia(lunes))
rechazar(i1,dia(martes))
rechazar(i1,dia(miercoles))
rechazar(i1,dia(jueves))
rechazar(i1,dia(viernes))
rechazar(i1,dia(sabado))
rechazar(i1,dia(domingo))

rechazar(i2,dia(lunes))
rechazar(i2,dia(martes))
rechazar(i2,dia(miercoles))
rechazar(i2,dia(jueves))
rechazar(i2,dia(viernes))
rechazar(i2,dia(sabado))
rechazar(i2,dia(domingo))

rechazar(i3,dia(lunes))
rechazar(i3,dia(martes))
rechazar(i3,dia(miercoles))
rechazar(i3,dia(jueves))
rechazar(i3,dia(viernes))
rechazar(i3,dia(sabado))
rechazar(i3,dia(domingo))

rechazar(i3,dia(lunes))
rechazar(i3,dia(martes))
rechazar(i3,dia(miercoles))
rechazar(i3,dia(jueves))
rechazar(i3,dia(viernes))
rechazar(i3,dia(sabado))
rechazar(i3,dia(domingo))

rechazar(i1,horario(mañana))
rechazar(i1,horario(mediodia))
rechazar(i1,horario(tarde))
rechazar(i1,horario(noche))

rechazar(i2,horario(mañana))
rechazar(i2,horario(mediodia))
rechazar(i2,horario(tarde))
rechazar(i2,horario(noche))

rechazar(i3,horario(mañana))
rechazar(i3,horario(mediodia))
rechazar(i3,horario(tarde))
rechazar(i3,horario(noche))

rechazar(i4,horario(mañana))
rechazar(i4,horario(mediodia))
rechazar(i4,horario(tarde))
rechazar(i4,horario(noche))

rechazar(i1,lugar(sala1))
rechazar(i1,lugar(sala2))
rechazar(i1,lugar(buffet))
rechazar(i1,lugar(restaurant))
rechazar(i1,lugar(cafe))
rechazar(i1,lugar(lab))

rechazar(i2,lugar(sala1))
rechazar(i2,lugar(sala2))
rechazar(i2,lugar(buffet))
rechazar(i2,lugar(restaurant))
rechazar(i2,lugar(cafe))
rechazar(i2,lugar(lab))

rechazar(i3,lugar(sala1))
rechazar(i3,lugar(sala2))
rechazar(i3,lugar(buffet))
rechazar(i3,lugar(restaurant))
rechazar(i3,lugar(cafe))
rechazar(i3,lugar(lab))

rechazar(i4,lugar(sala1))
rechazar(i4,lugar(sala2))
rechazar(i4,lugar(buffet))
rechazar(i4,lugar(restaurant))
rechazar(i4,lugar(cafe))
rechazar(i4,lugar(lab))

rechazar(i1,integrante(i1))
rechazar(i1,integrante(i2))
rechazar(i1,integrante(i3))
rechazar(i1,integrante(i4))

rechazar(i2,integrante(i1))
rechazar(i2,integrante(i2))
rechazar(i2,integrante(i3))
rechazar(i2,integrante(i4))

rechazar(i3,integrante(i1))
rechazar(i3,integrante(i2))
rechazar(i3,integrante(i3))
rechazar(i3,integrante(i4))

rechazar(i4,integrante(i1))
rechazar(i4,integrante(i2))
rechazar(i4,integrante(i3))
rechazar(i4,integrante(i4))

rechazar(i1,tratar(tema1))
rechazar(i1,tratar(tema2))
rechazar(i1,tratar(tema3))
rechazar(i1,tratar(tema4))

rechazar(i2,tratar(tema1))
rechazar(i2,tratar(tema2))
rechazar(i2,tratar(tema3))
rechazar(i2,tratar(tema4))

rechazar(i3,tratar(tema1))
rechazar(i3,tratar(tema2))
rechazar(i3,tratar(tema3))
rechazar(i3,tratar(tema4))

rechazar(i4,tratar(tema1))
rechazar(i4,tratar(tema2))
rechazar(i4,tratar(tema3))
rechazar(i4,tratar(tema4))