Re: pilog: unification in variables that are clauses

2011-07-01 Thread Alexander Burger
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

Re: pilog: unification in variables that are clauses

2011-07-01 Thread Doug Snead
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