Web Hosting cheap web hosting services web site hosting
ODSOL Premium Web Hosting Services web page hosting
ODSOL Premium Web Hosting Services ODSOL Premium Web Hosting Services ODSOL Premium Web Hosting Services
ODSOL Premium Web Hosting Services business web hosting
web hosting company Home web hosting reseller web hosting low cost web hosting
ecommerce web hosting
web hosting
affordable web hosting
Domain Lookup
company web site hosting
web hosting
web hosting
web hosting
 
 
 
 
 
 
 
 
 
 
 
ODSOL Premium Web Hosting Services
ODSOL Premium Web Hosting Directory > Others > Programming > Languages > Prolog > Implementations [+] Express Link Addition/Removal
ODSOL Premium Web Hosting
Sub-categories: None

Quintus Prolog
The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.

Qu-Prolog
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 higher-order programming and logic programming of interactive applications.

Reform Prolog
Recursion-parallel Single Program, Multiple Data (SPMD) implementation; assumes one sequential worker and arbitrary, fixed number parallel workers, each worker is process, can have more workers than processors. Successor: High Performance Erlang. [Open Source, GPL]

SICStus Prolog 3
This ISO-conformant performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension.

Strawberry Prolog
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.

Trinc-Prolog, an object oriented prolog for Windows
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.

Visual Prolog
A full-featured programming environment is offered with all the facilities necessary to write mission-critical, commercial-grade applications. A freeware version is available.

The YAP Prolog System
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.

SWI-Prolog
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.

Amzi! Prolog + Logic Server
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.

Aquarius Prolog 1.0
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.

Arity/Prolog
With a compiler and interpreter written in Prolog, C and assembly language and representing a superset of Edinburgh Prolog, a programming environment is offered for Windows/NT.

Babol Prolog
Prolog WAM-based compiler (console). Still in development phase. Manual, examples, windows console demo, boot-file download.

BinProlog
BinNet Corporation offers a high-performance, robust Prolog system able to generate C/C++ code and standalone executables and providing high-level networking along with secure internet programming integrated with rule-based reasoning components.

B-Prolog
Free, compact, full CLP system that runs Prolog and CLP(FD) programs. Emulator based, performance similar to SICStus-Prolog. Runs on: FreeBSD, Linux, Solaris, SunOS, Unix, Windows 9x/NT/2000.

Brain Aid Prolog
Based on Edinburgh Prolog and extended with object-oriented mechanisms, this Berkeley-style open-source system has a compiler written in Prolog and generating Transputer assembly code.

Ciao Prolog Development System
Full ISO-Prolog compliant system, modular design allows language restriction and extension. Descriptions, contacts, mail lists, downloads. [Open Source, GPL]

CMU Free/Shareware Prolog
CMU's AI repository offers a collection of Prolog implementations.

EZY Prolog
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 output of Prolog source. [Free for research purposes]

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. The performance of GNU Prolog is very encouraging (comparable to commercial systems).

Results: Previous 1 2 3 4 5 6 Next

( Add Your Site )


More Directory Categories:

» Advertising
» Affiliate Program
» Business
» Computers
» Construction
» Consulting
» Education
» Entertainment
» Financial Services
» Food
» Forum
» Furniture
» Gambling
» Games
» Garden
» Graphic Design
» Hardware
» Health
» Home
» Human Resources
» Internet
» ISP
» Law
» Marketing
» Mortgage
» Music
» News
» Others
» Personal Site
» Portal
» Real Estate
» Recreation
» Search Engine Optimization
» Security
» Shopping
» Society
» Software
» Sports
» Telecommunications
» Transportation
» Travel
» Web Design
» Web Hosting Directory
» Web Hosting Guide
» Web Hosting Providers
» Web Hosting Reviews
» Web Marketing
» Web Template
» Webmaster Resources
» World


Directory > Others > Programming > Languages > Prolog > Implementations
ODSOL Premium Web Hosting ODSOL Premium Web Hosting
web hosting
lowcost web hosting
web hosting Site map - Terms of Service - Contact Us
Home | Domain Name | Web Hosting | Ecommerce Hosting | Reseller Hosting | VDS | Dedicated Server | FAQ | Support | Link Exchange
Cheap Web Hosting | Cheap Web Hosting Review | Web Site Hosting | Web Page Hosting | Professional Web Hosting | Credit Card Processing Services
osCommerce Web Hosting | Cheap Web Hosting | Web Hosting osCommerce | Virtual Private Server | Ecommerce Web Hosting |
christian web hosting web hosting web site hosting
web page hosting free web hosting