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.
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.
WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial]
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.
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.
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.
Last update:
August 8, 2023 at 7:05:10 UTC
Check out
Regional: Europe: United Kingdom: England: Cumbria: Carlisle: Travel and Tourism: Accommodation: Bed and Breakfast
- Recently edited by merlin1
- Recently edited by merlin1