hotelP8.pddl

(define (problem hotel-prob-1)
    (:domain hotel2)
    (:objects
        qs1 qs2 qs3 qs4 qs5 qs6 - quartosimples
        quarto-Q1 quarto-Q2 quarto-Q3 - quartoquadruplo
        h1 h2 h3 h4 h5 h6 h7 h8 - hospede
    )

    (:init
        (= (preco-quartoQ quarto-Q1) 400)
        (= (preco-quartoQ quarto-Q2) 500)
        (= (preco-quartoQ quarto-Q3) 300)
        (= (preco-quartoS qs1) 150)
        (= (preco-quartoS qs2) 150)
        (= (preco-quartoS qs3) 25)
        (= (preco-quartoS qs4) 25)
        (= (preco-quartoS qs5) 25)
        (= (preco-quartoS qs6) 150)
        (= (orcamento) 3000)
        (= (ocupacaoS qs1) 0)
        (= (ocupacaoS qs2) 0)
        (= (ocupacaoS qs3) 0)
        (= (ocupacaoS qs4) 0)
        (= (ocupacaoS qs5) 0)
        (= (ocupacaoS qs6) 0)
        (= (ocupacaoQ quarto-Q1) 0)
        (= (ocupacaoQ quarto-Q2) 0)
        (= (ocupacaoQ quarto-Q3) 0)
        (se-odeiam h1 h5)
        (se-odeiam h1 h4)
        (se-odeiam h1 h3)
        (se-odeiam h1 h2)
    )

    (:goal
        (and
            (alocado h1)
            (alocado h2)
            (alocado h3)
            (alocado h4)
            (alocado h5)
            (alocado h6)
            (alocado h7)
            (alocado h8)
        )
    )

    ;un-comment the following line if metric is needed
    (:metric maximize
        (orcamento)
    )
)

;(pagaoquartosimples qs5)
;(pagaoquartoquadruplo quarto-q1)
;(poenoquartoquadruplo h7 h8 h1 h6 quarto-q1)
;(pagaoquartoquadruplo quarto-q2)
;(poenoquartoquadruplo h3 h2 h4 h5 quarto-q2)

;time: 40.304057192 seconds