3 ms·
It's a superset, but couldn't you just use Prolog? E.g. GNU Prolog Compiler: http://gprolog.org/ http://gprolog.org/ > GNU Prolog accepts Prolog+constraint pr
by carapace 4y ago
It's a superset, but couldn't you just use Prolog?
E.g. GNU Prolog Compiler: http://gprolog.org/ http://gprolog.org/
> GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger.
- CGamesPlay 4y agoI’m looking for more of a library that integrates with other programs, not a standalone program itself. I’ve seen other prolog implementations that fit the bill but they seem to rely on parsing program text from a clean state—they don’t “remember” facts on their own.
- hex9893628af 4y agoNo, the standard evaluation model of Prolog is top-down, while that of Datalog is bottom-up. As such, some queries will perform very differently between the two.