CODEWITHSUNDEEP
programming-languageslogic-programming
uhbif19
uhbif19

Reputation: 3245

Non-Prolog logic programming

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

Who has or any good experience with it?

Upvotes: 11

Views: 1342

Answers (7)

mnicky
mnicky

Reputation: 1388

There's also pretty fast miniKanren implementation written in Clojure, called core.logic.

There are also a few tutorials on using it:

https://github.com/clojure/core.logic/wiki/A-Core.logic-Primer

https://github.com/frenchy64/Logic-Starter/wiki

http://objectcommando.com/blog/2011/11/04/the-magical-island-of-kanren-core-logic-intro-part-1/

http://clojure.com/blog/2011/12/08/lojic-part-two.html

Upvotes: 2

SK-logic
SK-logic

Reputation: 9715

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.

Upvotes: 3

Dominic Mulligan
Dominic Mulligan

Reputation: 466

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

Upvotes: 1

jordancurve
jordancurve

Reputation: 213

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

Upvotes: 8

Gabriel Ščerbák
Gabriel Ščerbák

Reputation: 18570

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

Upvotes: 4

acfoltzer
acfoltzer

Reputation: 5618

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.

Upvotes: 8

mah
mah

Reputation: 39807

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.

Upvotes: 2

Related Questions