Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Link to Oleg's logic programming subsite

  • Loading branch information...
commit 788c78757edd15d4e5cdb849f26ac0d15880ff91 1 parent 2cb8204
@hraberg authored
Showing with 2 additions and 0 deletions.
  1. +2 −0 
2 
@@ -212,6 +212,8 @@ Mímir contains some initial functionality to write goals in ["mímirKanren"](ht
[core.logic - A Tutorial Reconstruction]( David Nolen, 2012
+[HANSEI as a Declarative Logic Programming Language]( Oleg Kiselyov, 2010-12
[Rule Solver: Constraint Programming with OpenRules]( Jacob Feldman, 2012
* [JSR-331](
Please sign in to comment.
Something went wrong with that request. Please try again.