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
|
History of T
Around 1981-1982, the Yale CS dept., which had a strong AI group led ... hired undergraduate Jonathan Rees to implement a new Lisp for their research programming. ...
similarity:
popularity:
lisp
scheme
history
t
programming
compiler
design
language
code
compilers
|
Write Yourself a Scheme in 48 hours
No information avaiable
similarity:
popularity:
haskell
scheme
tutorial
programming
lisp
functional
compiler
howto
interpreter
code
|
Learn prolog now
No information avaiable
similarity:
popularity:
prolog
programming
tutorial
book
logic
books
tutorials
development
free
language
|
Ur-Scheme: A GPL self-hosting compiler from a subset of R5RS Scheme to fast Linux x86 asm
It is free software, licensed under the GNU GPLv3+. It might be useful as a base for a ... faster than when it's compiled with Gambit-C, and much faster than ...
similarity:
popularity:
scheme
compiler
programming
lisp
assembly
software
compilers
development
asm
x86
|
Prolog Tutorial -- Contents
4.6 Equality of Prolog terms, unification. 4.7 Control. 4.8 ... 4.10 Binding a variable to a numerical value. 4.11 Procedural negation, negation as failure ...
similarity:
popularity:
prolog
tutorial
programming
logic
ai
language
tutorials
howto
software
development
|
How to Design Programs: An Introduction to Computing and Programming
Copyright © 2001 Massachusetts Institute of Technology. Illustrations © 2000 Torrey Butzer ... No part of this book may be reproduced in any form. by any ...
similarity:
popularity:
programming
books
design
book
scheme
reference
howto
lisp
tutorial
software
|
How To Learn Lisp » What’s In Peter’s Head
No information avaiable
similarity:
popularity:
lisp
programming
learning
tutorial
howto
scheme
language
emacs
education
learn
|
Scheme for Common Lispers
No information avaiable
similarity:
popularity:
scheme
lisp
programming
reference
comparison
code
|
Practical Common Lisp
By Peter Seibel; Apress, 2005, ISBN 1590592395. Focus: putting CL to practical ... If you find errors in these pages, please send email to book@gigamonkeys.com. ...
similarity:
popularity:
lisp
programming
book
books
reference
tutorial
free
development
language
ebook
|
What Made Lisp Different
No information avaiable
similarity:
popularity:
lisp
programming
language
paulgraham
history
essay
functional
languages
reference
scheme
|