BT
rss
49:52

A Relational Exploration of the Chomsky Hierarchy

Posted by Daniel Friedman, William Byrd  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.

39:27

Linear Logic Programming

Posted by Chris Martens  on  Feb 03, 2014

Chris Martens discusses how linear logic programming, via the logical framework and experimental programming language Celf, can be used to capture idioms related to state change and resource usage in a totally declarative fashion. Some possible example applications to be covered: state machines, narrative situations, interactive applications.

31:15

Everything I Have Learned I Have Learned From Someone Else

Posted by David Nolen  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.

40:51

Cascalog: Logic Programming over Hadoop

Posted by Alex Robbins  on  Jun 28, 2013

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

28:24

Intro to CLP with core.logic

Posted by Ryan Senior  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.

27:32

Molog: Typed Functional Logic Programming in Haskell

Posted by Adam C. Foltzer  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

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 Daniel P. Friedman, William E. Byrd  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

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.

General Feedback
Bugs
Advertising
Editorial
InfoQ.com and all content copyright © 2006-2014 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT