The purpose of swiplite is to enable using sqlite3 databases comfortably from SWI-Prolog, without sacrificing efficiency. The sqlite module provides low-level access to the connection and statement ...
Code to use Z3 as a constraint solver inside SWI Prolog, for a CLP(CC) implementation. Currently supports a subset of Z3's capabilities, including propositional logic, equality, arithmetic, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results