[Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

NU Programming Languages Seminar
Wednesday, June 30, 2004
Room 366 West Village H (http://www.ccs.neu.edu/home/wand/directions.html)
1:30-3:00

Kanren: A declarative logic programming system

Oleg Kiselyov, FNMOC

Kanren is a declarative logic programming system with first-class
relations embedded in a pure functional subset of Scheme. The system
has true unions, fair scheduling, lexically-scoped logical variables,
set-theoretical semantics, and high performance without cuts.  The
talk will present the main ideas of Kanren and focus on the proof of
the mirror theorem, which may be stated (in pseudocode, not Kanren!)
as: 

<pre>
if
(mirror nil) = nil
(mirror (cons a d)) = (cons (mirror d) (mirror a))
then
(mirror (mirror l)) = l
</pre>

Upcoming Events:

No events scheduled.  Want to volunteer?

--Mitch