Postmodern Computer Science
gnat writes "Two New Zealand computer scientists have a paper accepted for OOPSLA called Notes on Postmodern Programming, which identifies shortcomings in traditional views of computer science. With a section on the difference between "The Matrix" and the net, a bulleted list of new approaches called "We're All Devo", and a section called "Messy is Good" consisting of nothing but a scan of a hand-drawn diagram, this is not your father's computer science paper. It's thought-provoking stuff, though. And you know they did their homework--they cite Larry Wall's Postmodern Perl talk."
I found logical programming.
There is a package for LISP called Screamer that provides a logical programming system with backtracking-based non-determinism and constraint-satisfaction primitives.
Still working on finding relational programming code for LISP...
Justin Dubs