Subcategories 2
Related categories 1
Sites 15
Stable and free standard Prolog implementation. Targeted primarily at research and education. Windows, Linux and Unix versions available. Comes with a visual debugger and a GUI environment.
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 with an interpreter-based tutorial.
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.
Based on Edinburgh Prolog and extended with object-oriented mechanisms, this Berkeley-style open-source system has a compiler written in Prolog and generates Transputer assembly code.
General-purpose programming language which supports logic, constraint, functional, higher-order and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability and efficient execution. [Open Source, GPL]
CMU's AI repository offers a collection of Prolog implementations.
Constraint Unification Prolog (CUP) developed by the Institute for New Generation Computer Technology (ICOT), Japan. Originally written in C under Unix, MacCup is for Macintosh, DJCup for MS-DOS, with both implementations released as free software.
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. The performance of GNU Prolog is very encouraging (comparable to commercial systems).
Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x
WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial]
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]
Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.
[PDF]
The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.
This ISO-conformant, performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension.
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.
Stable and free standard Prolog implementation. Targeted primarily at research and education. Windows, Linux and Unix versions available. Comes with a visual debugger and a GUI environment.
This ISO-conformant, performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension.
General-purpose programming language which supports logic, constraint, functional, higher-order and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability and efficient execution. [Open Source, GPL]
Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.
[PDF]
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]
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.
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. The performance of GNU Prolog is very encouraging (comparable to commercial systems).
Based on Edinburgh Prolog and extended with object-oriented mechanisms, this Berkeley-style open-source system has a compiler written in Prolog and generates Transputer assembly code.
Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x
The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.
Constraint Unification Prolog (CUP) developed by the Institute for New Generation Computer Technology (ICOT), Japan. Originally written in C under Unix, MacCup is for Macintosh, DJCup for MS-DOS, with both implementations released as free software.
CMU's AI repository offers a collection of Prolog implementations.
WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial]
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 with an interpreter-based tutorial.
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.
Last update:
August 8, 2023 at 7:05:10 UTC
Check out
Regional: Europe: United Kingdom: Wales: Ceredigion: New Quay: Travel and Tourism: Accommodation
- Recently edited by merlin1
- Recently edited by merlin1