From ebdd2fd20ba5752e831510d9d66e58a1844ac7bc Mon Sep 17 00:00:00 2001
From: rezan21 <reza.naghshineh@gmail.com>
Date: Mon, 14 Jan 2019 19:09:13 +0000
Subject: [PATCH] domain initial

---
 domain.pddl | 34 +++++++++++++++++++++++++++++++++-
 1 file changed, 33 insertions(+), 1 deletion(-)

diff --git a/domain.pddl b/domain.pddl
index f462093..a8eafbf 100644
--- a/domain.pddl
+++ b/domain.pddl
@@ -1 +1,33 @@
-;domain goes here
+(define (domain simple-supermarket)
+(:requirements :strips :typing :numeric-fluents :durative-actions :conditional-effects)
+(:types
+  location agent item- object
+
+)
+(:predicates
+(at ?o - object ?l - location)
+(notat ?a - agent ?l - location)
+(agentfree ?a - agent)
+(agentnotfree ?a - agent)
+(agentfull ?a - agent)
+(agentnotfull ?a -agent)
+(on ?i - item ?a - agent)
+(noton ?i - item ?a - agent)
+
+
+)
+
+(:functions
+(capacity ?a - agent)
+(itemsholding ?a agent)
+
+)
+
+(:durative-action load
+:parameters (?i - item ?a - agent ?l - location)
+:duration (= ?duration 5)
+:condition(
+(and(over all(at ?i ?l))(at start(i)))
+)
+)
+)