Related:
Database
- Sql Database
- Dvd Database
- Art Database
- Database Art
Sponsored Links:
Trinc-Prolog, an object oriented prolog for Windows (Popularity: )
(Score: 17.99)
http://www.trinc-prolog.com/
Trinc-Prolog is a new development tool for the prolog language. Trinc-Prolog supports the ISO Prolog standard and has extended the prolog language with innovative object oriented features. TPWIN,an OO class library is available to develop Windows applications ...
Category:
Main\Computers\Programming\Languages\Prolog
|
Strawberry Prolog (Popularity: )
(Score: 17.44)
http://www.dobrev.com/
This Prolog compiler for Windows 95/98/NT and Unix/Linux supports OLE and Prolog CGI Scripts. Strawberry Prolog is suitable for client-server applications and has unique debugging facilities.
Category:
Main\Computers\Programming\Languages\Prolog
|
GNU Prolog (Popularity: )
(Score: 16.69)
http://pauillac.inria.fr/~diaz/gnu-prolog/
This compiler accepts Prolog + constraint programs and produces native binaries. The obtained executable is subsequently stand-alone. The size of this executable can be quite small since GNU Prolog can avoid linking the code of most unused built-in predicates ...
Category:
Main\Computers\Programming\Languages\Prolog
|
EZY Prolog (Popularity: )
(Score: 16.66)
http://www.ezy-software.com/ezyprolog/Prolog_Inference_Engine/ezy_prolog_overview.htm
A typed prolog interpreter, compatible with Visual Prolog, powrefull syntax checker with flow pattern analyser, GUI designer for declarative GUI, built-in functionality for ODBC, Winsock, regular expressions, text parsing, XML processing, HTML formatted ...
Category:
Main\Computers\Programming\Languages\Prolog
|
IF/Prolog (Popularity: )
(Score: 16.27)
http://www.ifcomputer.de/Products/Prolog/
A Prolog implementation for use in industrial and commercial environments. It complies with the ISO Prolog standard and runs on UNIX and MS-Windows environments. IF/Prolog has a rich set of interfaces to standard software components and an additionalConstraint ...
Category:
Main\Computers\Programming\Languages\Prolog
|
NU-Prolog (Popularity: )
(Score: 16.27)
http://www.cs.mu.oz.au/~lee/src/nuprolog/
The successor of MU-Prolog, this compiled Prolog system designed and implemented in the mid-80's as a 'purer' logic solution, interfaces with UNIFY databases and is available under an academic license.
Category:
Main\Computers\Programming\Languages\Prolog
|
Logic Programming Associates (Popularity: )
(Score: 16.08)
http://www.lpa.co.uk/ind_pro.htm
WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial]
Category:
Main\Computers\Programming\Languages\Prolog
|
Prolog Parsers (Popularity: )
(Score: 15.60)
http://utenti.lycos.it/parsers/
A study of the efficiency of various parsing techniches in Prolog, e.g. top-down, bottom-up, oracles, prediction, left-corner, chart. Also a comparison with Lisp. Examples in Prolog and Lisp.
Category:
Main\Computers\Programming\Languages\Prolog
|
FAQ: Prolog Implementations (Popularity: )
(Score: 15.60)
http://www-2.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq.html
A study of the efficiency of various parsing techniches in Prolog, e.g. top-down, bottom-up, oracles, prediction, left-corner, chart. Also a comparison with Lisp. Examples in Prolog and Lisp.
Category:
Main\Computers\Programming\Languages\Prolog
|
SWI-Prolog -- SGML/HTML/XML/RDF handling (Popularity: )
(Score: 15.57)
http://www.swi.psy.uva.nl/projects/SWI-Prolog/packages/sgml/
A package for SWI-Prolog that provides a parser for mapping RDF, XML and SGML based data as Prolog terms.
Category:
Main\Reference\Libraries\Library and Information Science\Technical Services
|
CMU Free/Shareware Prolog (Popularity: )
(Score: 13.92)
http://www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html
CMU's AI repository offers a collection of Prolog implementations.
Category:
Main\Computers\Programming\Languages\Prolog
|
Prolog Resource Guide (Popularity: )
(Score: 13.92)
http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html
The complete FAQs from news:comp.lang.prolog
Category:
Main\Computers\Programming\Languages\Prolog
|
Logic Programming Associates (Popularity: )
(Score: 13.92)
http://www.lpa.co.uk/
This software house supplies WIN-PROLOG, MacProlog32 and Prolog++.
Category:
Main\Computers\Programming\Languages\Prolog
|
OOPWeb - Prolog Directory (Popularity: )
(Score: 13.91)
http://www.oopweb.com/Prolog/Files/Prolog.html
Prolog programming tutorial and online book.
Category:
Main\Computers\Programming\Languages\Prolog
|
K-Prolog (Popularity: )
(Score: 13.90)
http://prolog.isac.co.jp/doc/en/
This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments.
Category:
Main\Computers\Programming\Languages\Prolog
|
Prolog for Artificial Intelligence (Popularity: )
(Score: 13.85)
http://mind.sourceforge.net/prolog.html
Open Source AI projects in Prolog.
Category:
Main\Computers\Programming\Languages\Prolog
|
Trinc-Prolog (Popularity: )
(Score: 13.72)
http://www.trinc-prolog.com
Object oriented prolog for windows.
Category:
Main\Computers\Software\Retailers\Sales and Support
|
INRIA wamcc (Popularity: )
(Score: 13.72)
ftp://ftp.inria.fr/INRIA/Projects/contraintes/wamcc/
Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x
Category:
Main\Computers\Programming\Languages\Prolog
|
Quintus Prolog (Popularity: )
(Score: 13.64)
http://www.sics.se/isl/quintus/
The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.
Category:
Main\Computers\Programming\Languages\Prolog
|
SICStus Prolog 3 (Popularity: )
(Score: 13.55)
http://www.sics.se/sicstus.html
This ISO-conformant performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension.
Category:
Main\Computers\Programming\Languages\Prolog
|
ALS Prolog (Popularity: )
(Score: 13.55)
http://www.als.com/
Applied Logic Systems, Inc. provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms.
Category:
Main\Computers\Programming\Languages\Prolog
|
Prolog+CG (Popularity: )
(Score: 13.55)
http://prologpluscg.sourceforge.net
Java implementation of Prolog plus the Conceptual Graphs of John Sowa. Object oriented extensions also included. [Open source, LGPL]
Category:
Main\Computers\Programming\Languages\Prolog
|
Aquarius Prolog 1.0 (Popularity: )
(Score: 13.08)
http://www.info.ucl.ac.be/people/PVR/aquarius.html
The compiler for this open-source version developed at UCB is built around the Berkeley Abstract Machine, a finer-grained rendition of WAM. An interpreter provided for program development is written in Prolog.
Category:
Main\Computers\Programming\Languages\Prolog
|
Cetus Links: Prolog (Popularity: )
(Score: 13.01)
http://www.cetus-links.org/oo_prolog.html
This collection of non-commercial links treats Prolog within the context of object- and component-orientation.
Category:
Main\Computers\Programming\Languages\Prolog
|
W-Prolog (Popularity: )
(Score: 12.98)
http://goanna.cs.rmit.edu.au/~winikoff/wp/
This simple interpreter for a Prolog-like language is written in Java. Although not fast the implementation is extremely portable and can be run as an applet under Java-capable web browsers.
Category:
Main\Computers\Programming\Languages\Prolog
|
BinNet Corp. (Popularity: )
(Score: 12.97)
http://www.binnetcorp.com
C/C++ and Java based Prolog Compilers and Prolog based Internet Programming tools.
Category:
Main\Computers\Programming\Languages\Prolog
|
An introduction to Prolog (Popularity: )
(Score: 12.76)
http://invaders.mars-attacks.org/~boklm/prolog/
A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier.
Category:
Main\Computers\Programming\Languages\Prolog
|
Ciao Prolog Development System (Popularity: )
(Score: 12.70)
http://clip.dia.fi.upm.es/Software/Ciao/
Full ISO-Prolog compliant system, modular design allows language restriction and extension. Descriptions, contacts, mail lists, downloads. [Open Source, GPL]
Category:
Main\Computers\Programming\Languages\Prolog
|
Visual Prolog development tools (Popularity: )
(Score: 12.34)
http://www.pdc.dk/
Logic-programming development environment. GUIs and other programs developed with Visual Prolog are portable between OS/2 and Windows. Supports Linux and SCO console applications too.
Category:
Main\Computers\Software\Operating Systems\OS-2
|
Schelog (Popularity: )
(Score: 12.33)
http://www.ccs.neu.edu/home/dorai/schelog/schelog.html
An embedding of Prolog-style logic programming in Scheme. Prolog-style and conventional Scheme code fragments can be used alongside each other.
Category:
Main\Computers\Programming\Languages\Lisp
|
Palm Toy Language (Popularity: )
(Score: 12.23)
http://www.geocities.com/willowfung/
A toy PROLOG interpreter for Palm. First PROLOG in PalmPilot.
Category:
Main\Computers\Programming\Languages\Prolog
|
Prolog for Beginners (Popularity: )
(Score: 12.23)
http://www.fraber.de/university/prolog/
A comparison of several Prolog systems from a beginners perspective
Category:
Main\Computers\Programming\Languages\Prolog
|
The YAP Prolog System (Popularity: )
(Score: 12.22)
http://www.ncc.up.pt/~vsc/Yap/
The University of Porto's Edinburgh-style, WAM-based Prolog engine is available on 32-bit machines running Sun and Linux and 64-bit Alphas running OSF UNIX and Linux. An open-source policy is being implemented with regard to distribution.
Category:
Main\Computers\Programming\Languages\Prolog
|
Warren's Abstract Machine: A tutorial reconstruction (Popularity: )
(Score: 12.16)
http://www.vanx.org/archive/wam/wam.html
Online book by Hassan Ait-Kaci. The WAM is an abstract machine tailored to Prolog. It can be realised efficiently on a wide range of hardware, and serves as a target for portable Prolog compilers.
Category:
Main\Computers\Programming\Languages\Prolog
|
Amzi! Prolog + Logic Server (Popularity: )
(Score: 11.98)
http://www.amzi.com/
This extensible Prolog version runs under Windows, Linux, Solaris and HP/UX, supporting development of client and server applications embeddable in the web, C/C++, Java, Delphi, Visual Basic and other environments. An IDE is available for Windows along ...
Category:
Main\Computers\Programming\Languages\Prolog
|
Logic Programming 3D Site (Popularity: )
(Score: 11.64)
http://www.cplire.ru/Lab144/space/prolog.html
The main idea of this Site is 3D (VRML) representation of the World Wide Web. The Site describes the area of logic programming and Prolog. All the information was collected by Actor Prolog agents.
Category:
Main\Computers\Programming\Languages\Prolog
|
Qu-Prolog (Popularity: )
(Score: 11.63)
http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
The Software Verification Research Centre (Univ. of Queensland) extended version of Prolog currently released under Linux and Solaris is designed primarily as a prototyping language and tactic language for theorem provers, including support for efficient ...
Category:
Main\Computers\Programming\Languages\Prolog
|
Logtalk (Popularity: )
(Score: 11.62)
http://www.logtalk.org/
An object-oriented extension to the Prolog programming language. It integrates logic programming with object-oriented and event-driven programming. Compatible with most Prolog compilers. [Open source]
Category:
Main\Computers\Programming\Languages\Prolog
|
Very Basic Natural Language Processing with LPA PROLOG (Popularity: )
(Score: 11.44)
http://dapissarenko.com/en/interests/basicnlp.html
This website shows how simple natural language processing can be implemented in LPA Prolog.
Category:
Main\Computers\Programming\Languages\Prolog
|
ESFM: Prolog Expert System for Forestry Management (Popularity: )
(Score: 11.06)
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/expert/systems/esfm/0.html
A small expert system developed by Steve Jones of Reading University in 1988 for forestry management. The rules are Prolog clauses. Inference is depth-first, backward-chaining, with no explanations of why ESFM asked a question nor how it came to a conclusion ...
Category:
Main\Computers\Artificial Intelligence\Applications\Environment
|