2 ms·

How does this compare to something like Prolog?

• dmitry_stratyfy 11mo ago
  Prolog is heavy-weight 1st order logic machine. vector-logic is light-weight propositional logic inference engine. Optimised for simple queries like "what is the value of 'y' given all rules and evidences", and also allows you to iterate through the entire valid set (all valid assignments). We also bothered to make the interface very simple and intuitive - you'll have very shallow learning curve.