AI T2

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 4 Op-blocks world
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(define (domain BLOCKS)
  (:requirements :strips)
  (:predicates (on ?x ?y)
	       (ontable ?x)
	       (clear ?x)
	       )

  (:action table-stack
	     :parameters (?x ?y)
	     :precondition (and (clear ?x) (ontable ?x) (clear ?y))
	     :effect
	     (and (not (ontable ?x))
		   (not (clear ?y))
		   (on ?x ?y)))

  (:action stack-table
	     :parameters (?x ?y)
	     :precondition (and  (clear ?x) (on ?x ?y))
	     :effect
	     (and ;(clear ?x)
	     (ontable ?x)
	     (clear ?y)
	     (not(on ?x ?y)))
	     )
  (:action stack-stack
	     :parameters (?x ?y ?z)
	     :precondition (and (clear ?x) (on ?x ?y) (clear ?z))
	     :effect
	     (and
		   (not (clear ?z))
		   ;(clear ?x)
		   (clear ?y)
		   (not (on ?x ?y))
		   (on ?x ?z))))