Hi Doug,
the following works:
(be a (3))
(be foo @C
(2 -> @C) )
: (? (foo (a @Z)))
@Z=3
-> NIL
I spied what 'call/1' is doing ;-) That number magic with '2' is a bit
tricky, I'm never sure what level to pick. Basically it tells the
interpreter with which
Thanks Alex!!!
We have golog in pilog. Er, I think :-) If not we're pretty dang close.
Still trying to get the simple elevator example going from "Knowledge in
Action" as a test. http://www.cs.toronto.edu/cogrobo/kia/simpleElevator
http://books.google.com/books?q=%22proc%28goFloor%22 etc