;; Carlos Eduardo Acetto Bombonatti

;;

;; Nao tive uma resolução para o problema completo.

;;

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; ROADEF

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;



( define ( domain roadef )

	( :requirements :strips :typing :equality )

	( :types car )

	( :predicates

		( before ?x - car )

		( painted ?x -  resource)

		( number ?x - color )

		( assembled ?x - resource )

	)



	( :action paint

		:parameters ( ?x - car )

		:precondition ( and

			( not ( painted ?x ) )

			( = ( number ?x ) ( number ( before ?x ) ) )

		)

		:effect ( and

			( painted ?x )

		)

	)



	( :action assembly

		:parameters ( ?x - car )

		:precondition ( and

			( painted ?x )

			( not ( assembled ?x ) )

		)

		:effect ( and

			( assembled ?x )

		)

	)

)