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

Zero

  • *
  • Autobot
  • ******
  • Posts: 201
  • 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
Friday Funny
by kei10 (General Chat)
Today at 02:54:18 AM
mini a.i puzzles
by Freddy (General AI Discussion)
February 26, 2017, 09:01:05 PM
How to Predict Stock Prices Easily - Intro to Deep Learning #7 Siraj Raval
by keghn (General AI Discussion)
February 26, 2017, 04:21:26 PM
trivia questions
by yotamarker (General AI Discussion)
February 26, 2017, 03:05:54 PM
Life
by Art (AI in Film and Literature.)
February 26, 2017, 03:14:36 AM
Robot Message in a Bottle
by 8pla.net (Home Made Robots)
February 25, 2017, 04:04:21 AM
La-Masterpiece
by LOCKSUIT (Graphics)
February 24, 2017, 10:26:32 PM
Auto-Food-Drone type delivery
by Art (General Chat)
February 24, 2017, 06:52:28 PM
Robust bipedal Cassie to transform robot mobility
by Tyler (Robotics News)
February 24, 2017, 04:48:44 PM
Artificial intelligence: Understanding how machines learn
by Tyler (Robotics News)
February 24, 2017, 10:49:13 AM
Hard at work: A review of the Laevo Exoskeleton
by Tyler (Robotics News)
February 23, 2017, 04:48:12 PM
Shell Ocean Discovery XPRIZE: Semi-finalists set sail on a journey to illuminate the ocean
by Tyler (Robotics News)
February 22, 2017, 10:48:25 PM
Drones for good 2.0: How WeRobotics is redefining the use of unmanned systems in developing countries
by Tyler (Robotics News)
February 22, 2017, 04:48:07 PM
At what point should an intelligent machine be considered a person?
by Tyler (Robotics News)
February 22, 2017, 10:48:24 AM
Ocado evaluating robotic manipulation for online shopping orders
by Tyler (Robotics News)
February 21, 2017, 10:50:46 PM
Motor control systems: Bode plots and stability
by Tyler (Robotics News)
February 21, 2017, 04:48:52 PM

Users Online

18 Guests, 0 Users

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

Articles