racklog

racklog copied to clipboard

Per the manual Racklog's module language accepts the Datalog syntax. I noticed that the not equals `!=` triggers an error when loaded under `#lang racklog`. The same code loads fine...

jecxjo

Make prop:unify (or something) for specializing structs in unify

1

Right now, Racklog's unify "sees through" transparent structs and unifies their contents, but all other structs are treated atomically. (See #16) It would be good to make some sort of...

jeapostrophe

racklog fails to unify two hash tables

1

``` (%which (d) (%= (hash 1 1) (hash 1 d))) ``` returns `'((d . 1))`. However, ``` (%which (d) (%= (hash 1 1) (hash d 1))) ``` returns `#f`.

arsdragonfly

%is doesn't support function with keyword arguments

4

Example: ``` (define (any->moment x) x) (define (%earlist moment moments) (%and (%not (%= moments '())) (%is moment (sort moments (lambda (a b) (moment

sorpaas