/usr/share/doc/racket/datalog/blueboxes.rktd is in racket-doc 6.7-3.
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 18 19 20 21 22 23 24 25 26 27 28 29 | 513
((3) 0 () 1 ((q lib "datalog/main.rkt")) () (h ! (equal) ((c def c (c (? . 0) q write-theory)) q (67 . 3)) ((c form c (c (? . 0) q datalog!)) q (246 . 5)) ((c form c (c (? . 0) q :-)) q (369 . 2)) ((c def c (c (? . 0) q read-theory)) q (124 . 2)) ((c form c (c (? . 0) q ~)) q (350 . 2)) ((c form c (c (? . 0) q !)) q (331 . 2)) ((c form c (c (? . 0) q ?)) q (405 . 2)) ((c def c (c (? . 0) q make-theory)) q (29 . 2)) ((c form c (c (? . 0) q datalog)) q (162 . 5)) ((c def c (c (? . 0) q theory/c)) q (0 . 2))))
value
theory/c : contract?
procedure
(make-theory) -> theory/c
procedure
(write-theory t) -> void
t : theory/c
procedure
(read-theory) -> theory/c
syntax
(datalog thy-expr
stmt ...)
thy-expr : theory/c
syntax
(datalog! thy-expr
stmt ...)
thy-expr : theory/c
syntax
(! clause)
syntax
(~ clause)
syntax
(:- literal question ...)
syntax
(? question)
|