The GNU Prolog web site
This compiler accepts Prolog + constraint programs and produces native binaries. ... ODBC/Prolog - a small ODBC interface module for gprolog ...
http://www.gprolog.org/
popularity:
prolog
programming
gnu
logic
compiler
opensource
language
languages
free
gprolog
|
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
|
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
|
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
|
The Prolog Dictionary
No information avaiable
similarity:
popularity:
prolog
programming
dictionary
reference
ai
logic
information
learning
languages
manual
|
Home - tuProlog
No information avaiable
similarity:
popularity:
prolog
java
programming
logic
jvm
language
development
tuprolog
ai
integration
|
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
|
Yield Prolog
No information avaiable
similarity:
popularity:
prolog
python
programming
javascript
c#
logic
yield
language
library
dotnet
|