4 ms·
Hi Joel. You can give http://www.dlvsystem.com/dlv/ http://www.dlvsystem.com/dlv/ a shot! Alternatively, if you prefer open-source solutions, check https://ab
by x775 8y ago
Hi Joel.
You can give http://www.dlvsystem.com/dlv/ http://www.dlvsystem.com/dlv/ a shot!
Alternatively, if you prefer open-source solutions, check https://abcdatalog.seas.harvard.edu/ https://abcdatalog.seas.harvard.edu/.
Due to a number of complications on my machine, I used DLV.
- JoelMcCracken 8y agoAh, I usually automatically pass on closed source solutions (hence my dislike for datomic). TY for the link to abcdatalog though!