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

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).

IC-Prolog
As part of Imperial College's Logic Programming Group Software Products, this Edinburgh-style, WAM-based version provides multiple threading, an object-oriented layer, TCP interfacing and other features.

IF/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 additional Constraint Technology Package for efficient solutions of complex optimization problems. Comes with a Java interface.

K-Prolog
This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments.

Logic Programming Associates
WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial]

Logtalk
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]

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

Palm Toy Language
A toy PROLOG interpreter for Palm. First PROLOG in PalmPilot.

ProFIT
Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.

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.

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