forked from angmavrogiannis/Cook2LTL
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathai2thor_prompt.txt
57 lines (40 loc) · 1.19 KB
/
ai2thor_prompt.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
def refrigerate(cookie: what, until cold:time):
available_objects = [cookie, fridge]
# open the fridge
open(fridge)
# pick up the cookie
pick up(cookie)
# put the cookie in the fridge
put(cookie, fridge)
# close the fridge
close(fridge)
# wait until the cookie is cold
wait(cookie==cold)
def store(fruit: what, cabinet: where):
available_objects = [fruit, cabinet]
# open the cabinet
open(cabinet)
# pick up the fruit
put(fruit)
# put the fruit in the cabinet
put(fruit, cabinet)
# close the cabinet
close(cabinet)
def bake(cake: what, oven: where, 30 minutes: time):
available_objects = [cake, oven, baking pan]
# pick up the cake
pick up(cake)
# put the cake on the baking pan
put(cake, baking pan)
# open the oven
open(oven)
# put the baking pan in the oven
put(baking pan, oven)
# close the oven
close(oven)
# turn on the oven
turn on(oven)
# wait for 30 minutes
wait(timer==30 minutes)
# turn off the oven
turn off(oven)