Development Follow 747 Followers

Evolving Prolog

Posted by Michael Hendricks  on  Nov 07, 2015 1 Posted by Michael Hendricks Follow 0 Followers  on  Nov 07, 2015 1

Michael Hendricks talks about how they used genetic algorithms to evolve Prolog programs based on historic data from peer to peer lending markets.

Development Follow 747 Followers

Exercises in Programming Style

Posted by Crista Lopes  on  Sep 23, 2015 4 Posted by Crista Lopes Follow 0 Followers  on  Sep 23, 2015 4

Crista Lopes demos writing the same program using multiple styles, showcasing the richness of human computational thought and the need to avoid being stuck with one or two styles for life.


A Relational Exploration of the Chomsky Hierarchy

Posted by Daniel Friedman  on  Feb 19, 2014 Posted by Daniel Friedman Follow 0 Followers , William Byrd Follow 0 Followers  on  Feb 19, 2014

Friedman and Byrd explain how to encode deterministic and non-deterministic finite automata, push-down automata, and Turing Machines in miniKanren, a DSL for relational (pure logic) programming.


Linear Logic Programming

Posted by Chris Martens  on  Feb 03, 2014 Posted by Chris Martens Follow 0 Followers  on  Feb 03, 2014

Chris Martens discusses how linear logic programming can be used to capture idioms related to state change and resource usage in a totally declarative fashion using the programming language Celf.


Everything I Have Learned I Have Learned From Someone Else

Posted by David Nolen  on  Oct 01, 2013 1 Posted by David Nolen Follow 5 Followers  on  Oct 01, 2013 1

David Nolen keynotes on how developers learn as seen in a number of diverse examples drawn from objected oriented user interface programming to constraint logic programming.


Cascalog: Logic Programming over Hadoop

Posted by Alex Robbins  on  Jun 28, 2013 Posted by Alex Robbins Follow 0 Followers  on  Jun 28, 2013

Alex Robbins introduces Cascalog, a Clojure library for writing declarative Hadoop jobs.


Intro to CLP with core.logic

Posted by Ryan Senior  on  Jun 18, 2013 3 Posted by Ryan Senior Follow 0 Followers  on  Jun 18, 2013 3

Ryan Senior introduces CLP using core.logic through examples and live coding based on some logic puzzles, providing the essential background to have some fun with core.logic and CLP.


Molog: Typed Functional Logic Programming in Haskell

Posted by Adam C. Foltzer  on  May 28, 2013 Posted by Adam C. Foltzer Follow 0 Followers  on  May 28, 2013

Adam C. Foltzer introduces Molog, a typed functional logic programming language written in Haskell.


An Introduction to Logic Programming on the JVM with core.logic (Clojure)

Posted by Edmund Jackson  on  Jan 28, 2013 Posted by Edmund Jackson Follow 0 Followers  on  Jan 28, 2013

Edmund Jackson discusses the Goals, Logic Variables, Constraints, and Compositions that form the foundation of Logic Programming using Clojure examples.


Relational Programming in miniKanren

Posted by William E. Byrd  on  Oct 31, 2012 1 Posted by William E. Byrd Follow 0 Followers , Daniel P. Friedman Follow 0 Followers  on  Oct 31, 2012 1

Daniel P. Friedman and William E. Byrd demonstrate miniKanren, a simplified version of KANREN - a declarative logic programming system with relations embedded in a pure functional subset of Scheme.


Practical core.logic

Posted by Ryan Senior  on  Aug 15, 2012 2 Posted by Ryan Senior Follow 0 Followers  on  Aug 15, 2012 2

Ryan Senior introduces core.logic, a logic programming library for Clojure, demonstrating how certain problems can be easier solved with it than relying on plain Clojure.