A declarative logic programming system
An applicative logic programming system with a declarative set ... KANREN download site at SourceForge: < http://sf.net/project/showfiles.php?group_id=99654> ...
http://kanren.sourceforge.net/
popularity:
scheme
logic
programming
prolog
lisp
functional
logic-programming
declarative
kanren
language
|
How to Design Programs
How to Design Programs. September 2003 Version ...
similarity:
popularity:
programming
scheme
book
books
design
lisp
software
reference
free
tutorial
|
Arc Forum | Arc
Newbie-friendly community, because all Arc users are new to some extent. User forums with many threads. Open source, Perl Artistic License.
similarity:
popularity:
lisp
arc
programming
language
scheme
paulgraham
languages
development
functional
software
|
A page about call/cc
No information avaiable
similarity:
popularity:
scheme
continuations
programming
call\/cc
functional
lisp
continuation
languages
tutorial
callcc
|
mvanier: The Y Combinator (Slight Return)
No information avaiable
similarity:
popularity:
programming
functional
lisp
ycombinator
scheme
recursion
y-combinator
math
learning
toread
|
SWI-Prolog's Home
Stable and free standard Prolog implementation. Targeted primarily at research and education. Windows, Linux and Unix versions available. Comes with a visual ...
similarity:
popularity:
prolog
programming
language
logic
software
opensource
ai
development
free
swi-prolog
|
7 lines of code, 3 minutes: Implement a programming language
No information avaiable
similarity:
popularity:
programming
scheme
language
compiler
lisp
interpreter
languages
code
design
compilers
|
programming musings
The number of improvements listed in the NEWS is impressive: you ... Blog at WordPress.com. • Theme: Garland by Steven Wittens and Stefan Nagtegaal. Top Posts ...
similarity:
popularity:
programming
blog
lisp
scheme
blogs
haskell
smalltalk
functional
erlang
toread
|
http://logicprogramminghistory.wikicensored.info/
No information avaiable
similarity:
popularity:
programming
prolog
logic
history
logic-programming
programming-languages
theory
paper
research
mit
|
Lambda the Ultimate | Programming Languages Weblog
Programming Languages Weblog with news and discussion. ... Lambda the Ultimate. Home. Feedback. FAQ. Getting Started. Discussions. Site operation discussions ...
similarity:
popularity:
programming
blog
languages
language
functional
lisp
blogs
development
software
research
|
http://www.lisperati.com/
Mail ...
similarity:
popularity:
lisp
programming
tutorial
haskell
functional
comic
emacs
fun
scheme
tutorials
|