Does anybody else run Datomic on FreeBSD? About to upgrade from openjdk7->openjdk8 and was curious if there are any known problems.

(d/q '[:find [?e ...]
              :in $ ?host-id [?ignore-keys ...]
              :where
              [?e :host/belongs-to ?host-id]
              [(!= ?e ?ignore-keys)]]
            (d/db (user/get-connection))
            :company/name
            (:db/id (user/get-tenant))
            [17592186104562 17592186081714 17592186098554])

Or is the problem that I try to filter by id's

I see the same result. If I pass in ?ignore-keys whole (`:in $ ?host-id ?ignore-keys`) and look for ?e missing from ?ignore-keys via homegrown predicate (`(defn nadda [e vs] (-> vs set (get e) not))`), I get the expected behavior, using [(#'datomic.fun/nadda ?e ?ignore-keys)].

I'm not sure why it doesn't work, but in this case I'd just leave that where clause out, and filter the result of the query. The data's all local.

unless you're using the rest api

I'm all about encouraging people to remember the data is local, because I'm using the rest api, and I'm constantly wishing it were true for me.

Negation in Datalog is tricky.

[(!= ?e ?ignore-keys)] will be evaluated as a predicate.

That means, for all bindings of ?e and ?ignore-keys established so far in the query, it will evaluate the expression (!= ?e ?ignore-keys) and remove any bindings for which that expression returns false.

The bindings include every possible combination of ?e and ?ignore-keys, so the != predicate will return true at least once for every ?e.

is it possible to parameterize the pull query like so?

(d/q ‘[:find (pull ?e ?query) :in $ ?query :where [?e …]] db query)

nvm, got it! https://github.com/Datomic/day-of-datomic/blob/master/tutorial/pull.clj#L110

use not= instead of !=?