Drops Game

(define (domain simples-gotas)
  (:requirements :typing :negative-preconditions :fluents)
  (:types
    celula tamanho
  )

(:predicates
    (tem-gota ?c - celula) ; Se a célula tem gota
    ; (adjacente ?c1 - celula ?c2 - celula) ; Se uma gota tem um ao lado
    (adjacente ?c - celula ?c2c - celula ?c2d - celula ?c2b - celula ?c2e - celula) ; Se uma gota tem um ao lado
    ; Tamanho das gotas
    (tamanho-gota-g ?c1 - celula)
    (tamanho-gota-m ?c1 - celula)
    (tamanho-gota-p ?c1 - celula)
  )

; Clicando na gota de tamanho P (pequeno)
  (:action clicar-gota-p
    :parameters (?c1 - celula)
    :precondition (and
      (tem-gota ?c1)
      (tamanho-gota-p ?c1)
    )
    :effect (and
      (not (tamanho-gota-p ?c1))
      (tamanho-gota-m ?c1)
    )
  )

; Clicando na gota de tamanho M (medio)
  (:action clicar-gota-m
    :parameters (?c1 - celula)
    :precondition (and
      (tem-gota ?c1)
      (tamanho-gota-m ?c1)
    )
    :effect (and
      (not (tamanho-gota-m ?c1))
      (tamanho-gota-g ?c1)
    )
  )

; Clicando na gota de tamanho G (grande)
  (:action clicar-gota-g
    :parameters (?c1 - celula)
    :precondition (and
      (tem-gota ?c1)
      (tamanho-gota-g ?c1)
    )
    :effect (and
      (not (tem-gota ?c1))
    )
  )

; Clicando na gota de tamanho G (grande) com outra gota do lado
  (:action clicar-gota-g-com-adjacente
    :parameters (?c1 ?c2c ?c2d ?c2b ?c2e - celula)
    :precondition (and
      (tem-gota ?c1)
      (tamanho-gota-g ?c1)
      (adjacente ?c1 ?c2c ?c2d ?c2b ?c2e)
    )
    :effect (and
      (not (tem-gota ?c1))
      (not (tem-gota ?c2c))
      (not (tem-gota ?c2d))
      (not (tem-gota ?c2b))
      (not (tem-gota ?c2e))
    )
  )
)

Cliques restantes

Pontuação