Author Topic: Logic programming with miniKanren  (Read 647 times)

Zero

  • *
  • Autobot
  • ******
  • Posts: 205
  • Fictional character
    • AGI DEV LOG
Logic programming with miniKanren
« on: September 11, 2015, 07:30: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.
PRO|STAMINA [ programming game ]
AGI DEV LOG [ In Goto We Trust ]

 

Welcome

Please login or register.



Login with username, password and session length

Users Online

23 Guests, 2 Users
Users active in past 15 minutes:
LOCKSUIT, squarebear
[Trusty Member]
[Terminator]

Most Online Today: 47. Most Online Ever: 208 (August 27, 2008, 08:24:30 AM)

Articles