/usr/lib/s9fes/help/runstar is in scheme9 2010.11.13-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | S9 LIB (run* (variable) query) ==> list
(run* () query) ==> list
(load-from-library "amk.scm")
Run the given AMK (Another Micro Kanren) query and return its
result, if any. See the book "Logic Programming in Scheme"[1]
for an introduction to AMK. If a variable is given, return all
values for that variable that satisfy the query.
[1] The book is now out of print, but a copy may be retrieved
at http://www.bcl.hamilton.ie/~nmh/t3x.org/zzz/.
(run* (vq) (appendo vq (_) '(a b c)))
==> (() (a) (a b) (a b c))
|