-
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
None of these are full-fledged programming languages, however. They're limited to problems that lie in the polynomial hierarchy (A class which contains P and NP). Logic programming is generally only used to solve hard problems for which no good algorithm is known. Prolog also sort of fits this niche and it has a bunch of solvers integrated into it. Notably CLPFD which uses https://github.com/triska/clpz for constraint logic programming. Rosette (https://docs.racket-lang.org/rosette-guide/index.html) is another solver-based language. Except it uses lisp syntax (it's embedded in the Racket language). It uses Z3 as a solver (linked above for SMT theories)
No problem :) What do you mean by voice control systems? Prolog has a bit of a learning curve and it's very difficult to write efficient code in. Although it did inspire Erlang, which is used in telecom and has some pretty interesting advantages not offered by other languages (reliance, multithreading, and updating without shutting down) Prolog is also pretty procedural, (the order you declare clauses in really really matters). There are other languages that use a much more pure for of logic Datalog: https://en.wikipedia.org/wiki/Datalog https://souffle-lang.github.io/