Logic programming with miniKanren

  • 0 Replies
  • 868 Views
*

Zero

  • Trusty Member
  • ********
  • Replicant
  • *
  • 567
  • Offline
    • Github page
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'.

 


Perkun
by pawel.biernacki (New Users Please Post Here)
Today at 08:50:18 am
Young Alpha
by ivan.moony (Bot Conversations)
Today at 01:19:44 am
Fractal Orbit
by ranch vermin (Human Computer Interaction)
Today at 12:49:39 am
Spikes in neural networks
by keghn (New Users Please Post Here)
February 23, 2018, 09:44:43 pm
XKCD Comic : The Simpsons
by Tyler (XKCD Comic)
February 23, 2018, 12:02:20 pm
They Are Coming For US!
by LOCKSUIT (General Robotics Talk)
February 21, 2018, 08:27:54 pm
XKCD Comic : Self-Driving Issues
by Tyler (XKCD Comic)
February 21, 2018, 12:00:06 pm
Why we laugh. (or cry) - very funny videos included
by keghn (General AI Discussion)
February 20, 2018, 10:27:51 pm

Users Online

29 Guests, 1 User
Users active in past 15 minutes:
AgentSmith
[Roomba]

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

Articles