rikusalminen/slolog
View on GitHub ↗ ★ 5 Haskell
A simple logic programming language implemented in Haskell
5 mentions on Hacker News by 1 person: 0 stories, 5 comments · first 2011-08-09 · latest 2016-10-08
20082026
-
…It was a very fun project and it took me just a few days of work. [0] http://minikanren.org/ [1] https://github.com/rikusalminen/slolog
comment by exDM69 · 2016-10-08 · in A gentle introduction to Prolog (2013) -
…your horizons. Finally, here's a logic programming interpreter I wrote some years ago for a class: https://github.com/rikusalminen/slolog/tree/master/example
comment by exDM69 · 2015-01-11 · in Prolog Programming Language (1997) -
…LLVM compiler for a toy functional programming language (with type inference!) https://github.com/rikusalminen/slolog Prolog-esque logic programming language
comment by exDM69 · 2014-02-05 · in So you want to write your own language? -
…not really Prolog, but here's an interpreter for a logic programming language written in Haskell: https://github.com/rikusalminen/slolog I wrote it as a project work in an Artificial Intelligence class. It very closely resembles the logic…
comment by exDM69 · 2012-11-10 · in Writing A Lisp Interpreter In Haskell -
…in the language after evaluating my work. So here's my little logic programming interpreter: https://github.com/rikusalminen/slolog
comment by exDM69 · 2011-08-09 · in Clojure Pattern Matching Lib: literal, seq, map and other patterns