Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...
Anyone know of a predicate logic implimentation in c++? I'm looking for something fairly simple and lean, that has decent syntax for interacting with the database from within c++ code.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback