Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Non-Prolog logic programming

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

Who has or any good experience with it?

like image 994
uhbif19 Avatar asked May 27 '11 17:05

uhbif19


2 Answers

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.

like image 167
acfoltzer Avatar answered Oct 11 '22 12:10

acfoltzer


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

like image 42
jordancurve Avatar answered Oct 11 '22 10:10

jordancurve