|
|
|
|
|
by detaro
3594 days ago
|
|
This library can do Prolog-style solving of logical expressions. As in "here is a set of expressions, find me values for the variables that fulfill them." Completely different thing. classical example in the readme: https://github.com/mcsoto/LogicJS#goals |
|