The "solve" way seems to some closest to doing it.

~/lisp/miniPicoLisp
$ cat t.l 
(be a (3))

(be foo (@C)
  # (@C -> @C)
  # (call @C)
  (@ print (solve (list (-> @C))))
  )

$ ./pil  t.l 
: (? a foo (foo (a @Z)))
1 (foo (a @Z))
(((@Z . 3)))-> T


So I can see that it is correctly solving for @Z this way. But it doesn't take 
that binding (@Z = 3) back into the foo rule. 


-- 
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to