MWBE

(define
	(domain merry-w-bag-end)
	(:requirements :adl)
	(:predicates
		(w-pokoju ?co ?pokoj)
		(przejscie ?skad ?dokad ?kolor)
		(koloru ?kulka ?kolor)
		(w-kieszeni ?kulka)
		(merry ?czlowiek)
	)

	(:action idz
		:parameters (?dokad ?skad ?kolor ?czlowiek ?kulka)
		:precondition
		(and
			(w-pokoju ?czlowiek ?skad)
			(merry ?czlowiek)
			(przejscie ?skad ?dokad ?kolor)
			(w-kieszeni ?kulka)
			(koloru ?kulka ?kolor)
		)
		:effect
		(and
			(not (w-pokoju ?czlowiek ?skad))
			(w-pokoju ?czlowiek ?dokad)
			(not (w-kieszeni ?kulka))
		)
	)

	(:action wez
		:parameters (?kolor ?kulka ?pokoj ?czlowiek)
		:precondition
		(and
			(w-pokoju ?czlowiek ?pokoj)
			(merry ?czlowiek)
			(w-pokoju ?kulka ?pokoj)
			(koloru ?kulka ?kolor)
		)
		:effect
		(and
			(w-kieszeni ?kulka)
			(not (w-pokoju ?kulka ?pokoj))
		)
	)



)





















(define (problem p1)
	(:domain merry-w-bag-end)
	(:objects A B C D E F G H I czlowiek zamek
		k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 k14
		pomaranczowy czerwony zielony niebieski rozowy
	)
	(:init
		(w-pokoju czlowiek F)
		(merry czlowiek)

		(przejscie A B pomaranczowy)
		(przejscie A C czerwony)
		(przejscie B D pomaranczowy)
		(przejscie C A czerwony)
		(przejscie C E zielony)
		(przejscie D F zielony)
		(przejscie E C zielony)
		(przejscie E F niebieski)
		(przejscie E H czerwony)
		(przejscie F D zielony)
		(przejscie F E niebieski)
		(przejscie F G rozowy)
		(przejscie F I niebieski)
		(przejscie H E czerwony)
		(przejscie H I niebieski)
		(przejscie I F niebieski)
		(przejscie I H niebieski)

		(w-pokoju k1 A)
		(w-pokoju k2 B)
		(w-pokoju k3 C)
		(w-pokoju k4 C)
		(w-pokoju k5 D)
		(w-pokoju k6 D)
		(w-pokoju k7 E)
		(w-pokoju k8 E)
		(w-pokoju k9 F)
		(w-pokoju k10 F)
		(w-pokoju k11 H)
		(w-pokoju k12 H)
		(w-pokoju k13 I)
		(w-pokoju k14 I)

		(koloru k1 zielony)
		(koloru k2 rozowy)
		(koloru k3 pomaranczowy)
		(koloru k4 niebieski)
		(koloru k5 zielony)
		(koloru k6 czerwony)
		(koloru k7 niebieski)
		(koloru k8 zielony)
		(koloru k9 niebieski)
		(koloru k10 niebieski)
		(koloru k11 zielony)
		(koloru k12 czerwony)
		(koloru k13 pomaranczowy)
		(koloru k14 niebieski)
	)

	(:goal
		(and
			(w-pokoju czlowiek A)
		)
	)
)