|
No information avaiable
http://logicprogramminghistory.wikicensored.info/
popularity:
programming
prolog
logic
history
logic-programming
programming-languages
theory
paper
research
mit
|
|
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
|
|
No information avaiable
similarity:
popularity:
prolog
programming
tutorial
book
logic
books
tutorials
development
free
language
|
|
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
|
|
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
|
|
An applicative logic programming system with a declarative set ... KANREN download site at SourceForge: < http://sf.net/project/showfiles.php?group_id=99654> ...
similarity:
popularity:
scheme
logic
programming
prolog
lisp
functional
logic-programming
declarative
kanren
language
|
|
No information avaiable
similarity:
popularity:
prolog
programming
language
ai
software
logic
java
clp
scheme
ia
|
|
No information avaiable
similarity:
popularity:
prolog
compiler
yap
language
programming
open-source
logic-programming
logic
programming-languages
rulesengine
|
|
Interface with LP/MIP (GNU GLPK) added (10/2005). Tools and Solvers for CP Solver ... Versions 6.x runs on MacOS X (9/2001). CGLIB supports event handling ...
similarity:
popularity:
prolog
programming
b-prolog
constraint
software
logic
clp
ai
freeware
logic_programming
|
|
No information avaiable
similarity:
popularity:
prolog
programming
dictionary
reference
ai
logic
information
learning
languages
manual
|
|
Articles, technotes, games, expert system shell prototypes, demos, samples, pointers to other resources and Amzi! product information.
similarity:
popularity:
prolog
programming
ai
software
rules
tutorial
logic
expertsystem
language
tools
|