|
Read more about ... Available SWI-Prolog versions ... Powered by SWI-Prolog 5.8.
|
www.swi-prolog.org/Download.html
www.swi-prolog.org/Download.html
|
|
|
SWI-Prolog - Wikipedia, the free encyclopedia
SWI-Prolog is an open source implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic...
en.wikipedia.org/wiki/SWI-Prolog
|
I have ported SWI-Prolog to WinCE. It uses a simple console with no line-editing features. No XPCE. ... Get swi-prolog.tar.gz and celib.dll. Unzip on desktop pc. ... You might have to rebuild the "resource" file. See the README that comes with swi-prolog.tar.gz.
|
www.rainer-keuchel.de/wince/swi-prolog.html
www.rainer-keuchel.de/wince/swi-prolog.html
|
|
SWI-Prolog started life in 1986 as a Prolog in the Edinburgh tradition. Its development has been guided from the very beginning by the desire to build large scale applications in Prolog. ... SWI-Prolog is compliant to part one of ISO standard Prolog. In addition it provides functionality compatible to Quintus, SICStus,
|
gollem.science.uva.nl/SWI-Prolog/Manual/
gollem.science.uva.nl/SWI-Prolog/Manual/
|
|
1.1 SWI-Prolog ... 1.4 Should you be using SWI-Prolog? ... 1.7 Donate to the SWI-Prolog project...
|
gollem.science.uva.nl/SWI-Prolog/Manual/Contents.html
gollem.science.uva.nl/SWI-Prolog/Manual/Contents.html
|
|
|
Package swi-prolog-clib ... You have searched for packages that names contain swi-prolog in all suites, all sections, and all architectures. Found 10 matching packages. ... lenny (stable) (interpreters): SWI-Prolog interface to system libraries ; 5.6.58-2: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc...
|
packages.debian.org/swi-prolog
packages.debian.org/swi-prolog
|
|
|
Download Free Prolog and LISP Interpreters ... Prolog Tree Drawing Program (zip) of Christoph Lehner (works in SWI and Quintus Prolog). ... SWI PROLOG for the IBM PC (windows).
|
nyu.edu/pages/linguistics/ling.html
|
|
; (Fast Overview): Intriguing Prolog Examples and puzzles: [ 17.html ] ... The Prolog ISO standard [ 0 in d21413 ] ... The comp.lang.prolog Newsgroup on Usenet: comp.lang.prolog...
|
www.csci.csusb.edu/dick/samples/prolog.html
www.csci.csusb.edu/dick/samples/prolog.html
|
|
SWI-Prolog is a comprehensive Prolog implementation in the Edinburgh Prolog tradition. It consists of a virtual machine that is loosely based on the WAM (Warren Abstract Machine), which is implemented in ANSI-C, conditionally using GCC extensions to the C-language.
|
www.sai.msu.su/sal/F/1/SWI_PROLOG.html
www.sai.msu.su/sal/F/1/SWI_PROLOG.html
|
|
