/usr/lib/help/runstar is in scheme9 2013.11.26-1.
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 16 17 | 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] http://www.lulu.com/shop/nils-m-holm/logic-programming-in-scheme/\
paperback/product-18693432.html
(run* (q) (fresh (h t)
(== q (list h t))
(appendo h t '(1 2 3))))
==> ((() (1 2 3)) ((1) (2 3)) ((1 2) (3)) ((1 2 3) ()))
|