4 ms·

There's Datomic[1] though it's proprietary. Regarding the Prolog, I hope they will take a look at newly emerging "GHC of Prolog" in Rust - Scryer[2]. [1] https

by xvilka 6y ago

There's Datomic[1] though it's proprietary. Regarding the Prolog, I hope they will take a look at newly emerging "GHC of Prolog" in Rust - Scryer[2]. [1] https://www.datomic.com/ https://www.datomic.com/ [2] https://github.com/mthom/scryer-prolog https://github.com/mthom/scryer-prolog

cabite 6y ago
Also there are ongoing efforts in the Clojure community to make datomic queries reactive. Pluging this into a react-like architecture can lead to writing code that is 100% declarative when dealing with updating the UI according to the DB or vice-versa
harperlee 6y ago
What do you mean with "GHC of Prolog"? I don´t know a lot about the Haskell ecosystem so I dont know what that implies. Edit: Never mind, the Scryer Prolog github page states it as follows: Scryer Prolog aims to become to ISO Prolog what GHC is to Haskell: an open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming, which is itself written in a high-level language.
- billfruit 6y ago
  Isn't SWI the GHC of Prolog already?
  - aarroyoc 6y ago
    SWI Prolog is a very nice Prolog but it is not standard anymore
    - simplify 6y ago
      What do you mean by not standard anymore?
      - Avshalom 6y ago
        https://www.swi-prolog.org/pldoc/man?section=extensions https://www.swi-prolog.org/pldoc/man?section=extensions
      - deleted 6y ago
        [deleted]