The idea of logical programming has much promise. Not for programming, but for running queries on a knowledge base. You might want to take a look at Datalog [0

The idea of logical programming has much promise. Not for programming, but for running queries on a knowledge base. You might want to take a look at Datalog [0]: Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing. An example of this in real-world use would be in Rich Hickey's Datomic [1]: Datomic is a distributed database and implementation of Datalog on Clojure. It has ACID transactions, joins, a logical query language—Datalog. [0] https://en.wikipedia.org/wiki/Datalog https://en.wikipedia.org/wiki/Datalog [1] https://en.wikipedia.org/wiki/Datomic https://en.wikipedia.org/wiki/Datomic