http://logicprogramminghistory.wikicensored.i...
No information avaiable
http://logicprogramminghistory.wikicensored.info/
popularity:
programming
prolog
logic
history
logic-programming
programming-languages
theory
paper
research
mit
|
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
|
Learn prolog now
No information avaiable
similarity:
popularity:
prolog
programming
tutorial
book
logic
books
tutorials
development
free
language
|
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
|
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
|
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> ...
similarity:
popularity:
scheme
logic
programming
prolog
lisp
functional
logic-programming
declarative
kanren
language
|
SICStus Prolog Homepage
No information avaiable
similarity:
popularity:
prolog
programming
language
ai
software
logic
java
clp
scheme
ia
|
YAP Prolog
No information avaiable
similarity:
popularity:
prolog
compiler
yap
language
programming
open-source
logic-programming
logic
programming-languages
rulesengine
|
http://www.probp.com/
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
|
The Prolog Dictionary
No information avaiable
similarity:
popularity:
prolog
programming
dictionary
reference
ai
logic
information
learning
languages
manual
|
Amzi! Prolog+Logic Server, Adventure in Prolog tutorial, Expert Systems in Prolog, Freeware, Articles, Source Code, Consulting
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
|