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.

Dica

Quando houver um (OR) nas preconditions, a ação vira N operadores, sendo N = quantidade de proposições dentro do (OR).

Entrada

domain.pddl

(define (domain bomdia)
	(:types pessoas bicho)
	(:predicates
		(HelloWorld ?pessoa - pessoas)
		(bomDia)
		(boaTarde)
	)
	(:action acordar
		:parameters()
		:precondition(not(bomDia))
		:effect(bomDia)
	)
	(:action almocar
		:parameters()
		:precondition(not(boaTarde))
		:effect(boaTarde)
	)
	(:action falar_ola_mundo
		:parameters (?pessoa - pessoas)
		:precondition (and(or(bomDia)(boaTarde))(not(HelloWorld ?pessoa)))
		:effect (HelloWorld ?pessoa)
	)
)

problem.pddl

(define (problem p01)
	(:domain bomdia)
	(:objects 
		leo cadu - pessoas
		pluto - bicho
	)
	(:init)
	(:goal
		(HelloWorld cadu)
	)
)