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
|
defmacro - Functional Programming For The Rest of Us
An article about functional programming. ... Home - defmacro.org Made with alien technology. Functional Programming For The Rest of Us ...
similarity:
popularity:
programming
functional
lisp
tutorial
article
fp
toread
development
functionalprogramming
software
|
Clojure - home
It is designed to be a general-purpose language, combining the approachability ... Clojure is a compiled language - it compiles directly to JVM bytecode, yet ...
similarity:
popularity:
programming
lisp
clojure
java
jvm
language
functional
opensource
languages
software
|
Structure and Interpretation of Computer Programs
No information avaiable
similarity:
popularity:
programming
books
book
lisp
scheme
reference
mit
computer
sicp
toread
|
The GNU Prolog web site
This compiler accepts Prolog + constraint programs and produces native binaries. ... ODBC/Prolog - a small ODBC interface module for gprolog ...
similarity:
popularity:
prolog
programming
gnu
logic
compiler
opensource
language
languages
free
gprolog
|
Prometheus Object System
No information avaiable
similarity:
popularity:
scheme
programming
prototype
oop
lisp
self
object
prometheus
prototype-based
system
|
newLISP - Home
newLISP is a general purpose scripting language for developing web applications and programs in general and in the domains of artificial intelligence (AI) and statistics.
similarity:
popularity:
lisp
programming
language
newlisp
scripting
software
opensource
languages
development
functional
|
Continuations and Continuation Passing Style
No information avaiable
similarity:
popularity:
continuations
programming
scheme
continuation
cps
functional
lisp
papers
cs
research
|
Bluish Coder
As I mentioned in my last post, closures are functions combined with ... To create a closure you must explicitly mark it as being a closure. A closure requires ...
similarity:
popularity:
blog
programming
javascript
lisp
scheme
factor
erlang
functional
language
firefox
|
SICStus Prolog Homepage
No information avaiable
similarity:
popularity:
prolog
programming
language
ai
software
logic
java
clp
scheme
ia
|
Lambda Associates Home Page
We build on top of the best of what has been done, and for that reason, the ... But though all of our work is based on Lisp, most of our actual coding is in Qi. ...
similarity:
popularity:
lisp
programming
qi
functional
language
languages
opensource
development
haskell
common-lisp
|