Domain

(define (domain courseworkdomain)
    (:requirements
        :strips
    )

    (:predicates

        (personLocation ?p ?pl)
        (shipLocation ?s ?sl)
        (path ?l1 ?l2)
        (shipUndamaged ?u)
        (medicalSupplies ?pl)
        (navigatorOrders ?s ?l2)
		(robots ?c ?pl)
		(heavyEquipment ?pl)

    )

(:action repair
    :parameters(?u)
    :precondition(and (shipUndamaged damaged)
                      (personLocation engineers engineeringRoom)
                      )

    :effect(shipUndamaged undamaged)
)

(:action charge_robot
	:parameters(?c ?pl)
	:precondition(robots uncharged ?pl)
	:effect(robots charged scienceLab)
)

(:action transport_meds
    :parameters(?pl)
    :precondition(and(medicalSupplies ?pl)
                 (personLocation medicalPersonnels sickbay))
    :effect(medicalSupplies sickbay)
)

(:action move-heavyEquipment
	:parameters(?pl ?c)
	:precondition (and(robots charged ?pl)
					  (heavyEquipment ?pl))
	:effect(and(robots uncharged cargoBay)
			   (heavyEquipment cargoBay))
)

(:action move_ship
    :parameters
        (?s ?sl ?l1 ?l2 ?u)
    :precondition
        (and
           (path ?l1 ?l2)
           (personLocation captain bridge)
           (shipUndamaged undamaged)
        )
    :effect
        (and
           (not (shipLocation ?s ?sl))
           (shipLocation ?s ?l2)
        )
)

)