What do people use Prolog for in the real world? I learned about it on a university course and it seems so esoteric compared to other things on the course. Like something invented just for computer scientists to enjoy.

▲

radomir_cernoch 3 hours ago | parent | next [-]

Some applications were discussed in https://news.ycombinator.com/item?id=40994552

▲

AdieuToLogic 33 minutes ago | parent | prev | next [-]

> What do people use Prolog for in the real world?

Here[0] is an example of using Ruby and Prolog to solve a real-world AWS management problem.

0 - https://web.archive.org/web/20190525163234/https://dev.to/da...

▲

christophilus 3 hours ago | parent | prev | next [-]

Dunno about Prolog, but Datomic uses datalog for its query language, and it’s excellent. Datalog is a subset of Prolog.

▲

ted_dunning 2 hours ago | parent | next [-]

Datalog may appear to be a subset, but it is quite distinct semantically.

▲

raffael_de 2 hours ago | parent | prev | next [-]

What is Datalog used for nowadays?

	▲	AlotOfReading 2 hours ago \| parent [-]
		Other than databases, program analysis. The polonius borrow checker in rustc uses datalog internally. But you can use it for lots of things. Whenever I'm frustrated with graph based tools being slow (like build systems), I run the graph through a datalog engine for comparison. It's usually much, much faster.

▲

gobdovan 13 minutes ago | parent | prev [-]

[dead]

▲

bmitch3020 2 hours ago | parent | prev | next [-]

20+ years ago, it was the backend for the business rules engine that processed various logging and monitoring events. The concept was interesting, the performance was terrible, and businesses mostly didn't want to touch it. After I setup clients with a generic set of rules that worked on Prolog facts, most all of my clients were happy to limit their changes to only those fact files.

▲

segmondy an hour ago | parent | prev | next [-]

Everything, you heard the joke about those who don't know Lisp end up reinventing it, well, the same can be said for Prolog.

▲

3 hours ago | parent | prev [-]

[deleted]