Re:Differences Between miniKanren and Prolog
by usgroup on Tuesday January 23, 2024 @06:31PM
(#39111498)
Could be a positive but is it? What does a non-toy problem requiring a bit of logic programming look like? Perhaps a routing or a scheduling problem? Would you not use a MIP or a constraint solver for that? They are typically callable from host languages.
Too easy and you don’t need logic programming, a bit harder and you reach for proper solvers, so where does embedded logic programming fit?
Prolog takes the view — and mostly exists in the wild — as primarily a non embedded general purpose language. For some applications — eg a stock exchange or an airline booking service — it makes a lot of sense. You could write a web service in Prolog and then call it from other services not written in Prolog.
Too easy and you don’t need logic programming, a bit harder and you reach for proper solvers, so where does embedded logic programming fit?
Prolog takes the view — and mostly exists in the wild — as primarily a non embedded general purpose language. For some applications — eg a stock exchange or an airline booking service — it makes a lot of sense. You could write a web service in Prolog and then call it from other services not written in Prolog.