STRIPS is an AMAZING planner

Instead of programming GAME COMMANDS
you just state PRE , ADD , DEL
so you can SEARCH any commands

given just the following database you can play an adventure game

at base me
con base tunnel
con base castle
strips pre go at 3 p
strips pre go conn 33 1
strips del go at 33
strips add go at 1 p

this is like

GO (PLAYER , FROM , TO)
..... at (3 PLAYER)
..... conn( 3 1 )
..... del ( at 3 )
..... assert( at 1 PLAYER )

NO CODE FOR 'GO' NEEDED!

----------------- GAME ----------------

ENTER> do me go castle [?]

at base me confirm
conn base castle confirm
at base confirm
at castle me confirm

confirm

me is at castle
you can go base
you can see me

--------------- CODE --------------

menu
-look me

look P
-print P
-echo is at
-at R P
-print R
-echo newline
-echo you can go
-printcon1 R
-printcon2 R
-echo newline
-echo you can see
-printsee R

printcon1 R
-if
-con R B
-print B
-clear B
-next
-printcon1 R
-endif

printcon2 R
-if
-con B R
-print B
-clear B
-next
-printcon2 R
-endif

printsee R
-if
-at R A
-print A
-clear A
-next
-printsee R
-endif

conn D E
-if
-con D E
-else
-con E D
-endif

c me go castle

do P F X Y
-doo P F X Y Z
-echo newline
-print Z
-echo newline
-echo newline
-look P

doo P F X Y
-strips M F G A B
-if
-eq A p
-let Q P
-endif
-if
-eq B p
-let R P
-endif
-if
-eq A 33
-let Q S
-endif
-if
-eq B 33
-let R S
-endif
-if
-eq A 1
-let Q X
-endif
-if
-eq A 2
-let Q Y
-endif
-if
-eq B 1
-let R X
-endif
-if
-eq B 2
-let R Y
-endif
-let Z confirm
-if
-eq M pre
-let Z deny
-if
-G Q R
-let Z confirm
-endif
-if
-eq M add
-assert G Q R
-endif
-if
-eq M del
-remove G Q R
-endif
-print G
-print Q
-print R
-print Z
-echo newline
-if
-eq A 3
-let S Q
-endif
-if
-eq B 3
-let T Q
-endif
-clear A
-clear B
-clear G
-clear Q
-clear R
-clear M
-next
-if
-eq Z confirm
-doo P F X Y
-endif

c
at base me
con base tunnel
con base castle
strips pre go at 3 p
strips pre go conn 33 1
strips del go at 33
strips add go at 1 p