Non-Prolog logic programming

11
votes

Are there any good non-Prolog or Prolog-based logic programming languages ?

Who has or any good experience with it?

7
programming-languageslogic-programming
Off the top of my head Scheme and Lisp come to mind... what kind of application are you trying to develop? - Brian Driscoll
@Brian Driscoll Although logic programming module could be developed in functional programming languages such as LISP/Scheme, but in direct sense - no, they not belongs to logic-programming language category. - Agnius Vasiliauskas

7 Answers

8
votes

I highly recommend The Reasoned Schemer, by Dan Friedman, Oleg Kiselyov, and Will Byrd. It introduces miniKanren, a small (three core operators) logic programming language built atop Scheme. It's a joy to use, particularly with the matche macro that allows unifying pattern matches.

8
votes

Answer Set Programming is an extremely powerful logic programming paradigm. I've had a lot of success with the clasp/clingo answer set solver.

4
votes

I was introduced to DLV and models through answer set programming, which is basically logic programming.

3
votes

Take a look at theorem proof assistants, like Coq, HOL and Isabelle.

Some type systems (e.g., in Agda2) can be regarded as logic programming too.

2
votes

You might check out CLIPS. It's structured like Lisp (lots of parens) but it's designed for building expert systems; I haven't seen a problem that Prolog solves that CLIPS couldn't. Like Prolog, its based on building facts and then running queries against them.

1
votes

Mercury and Oz spring to mind. There's also Datalog which is a restricted (non-Turing complete) version of Prolog.