Preâmbulo

Gere o arquivo SAS para os arquivo problem e domain escritos em Planning Domain Definition Language (PDDL).

Você deverá submeter somente o arquivo SAS que represente os códigos.

Entrada

domain.pddl

(define (domain d01)
	(:predicates
		(HelloWorld)
		(OlaMundo)
	)
	(:action falar_ola_mundo
		:parameters ()
		:precondition (not(HelloWorld))
		:effect (HelloWorld)
	)
)

problem.pddl

(define (problem p01)
	(:domain d01)
	(:init
		(not(HelloWorld))
		(not(OlaMundo))
	)
	(:goal
		(HelloWorld)
	)
)