Logic programming with miniKanren

  • 0 Replies
  • 1108 Views
*

Zero

  • Trusty Member
  • ********
  • Replicant
  • *
  • 708
    • Thinkbots are free
Logic programming with miniKanren
« on: September 11, 2015, 08:42:54 am »
Hi all,

I don't know if you already heard of miniKanren. It looks very interesting: it's a small embedded Domain Specific Language for logic programming.
Thinkbots are free, as in 'free will'.

 


Users Online

35 Guests, 3 Users
Users active in past 15 minutes:
ivan.moony, DemonRaven, LOCKSUIT
[Trusty Member]

Most Online Today: 52. Most Online Ever: 208 (August 27, 2008, 09:36:30 am)

Articles