Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
20 lines (18 sloc) 474 Bytes
(library (cKanren tracing)
(export trace-define-mk)
(import (rnrs) (cKanren mk))
(define-syntax trace-define-mk
(syntax-rules ()
((_ (name a* ...) body)
(trace-define-mk name (lambda (a* ...) body)))
((_ name (λ (a* ...) body))
(define name
(λ (a* ...)
(fresh ()
(project (a* ...)
(begin
(display (list 'name a* ...))
(newline)
succeed))
body))))))
)
Something went wrong with that request. Please try again.