BinProlog is supported by BinNet Corporation, a dynamic, fast growing company, which pioneers new, exciting technologies and improves continuously current products in order to provide comprehensive industry-wide solutions. It includes a high performance Prolog compiler, specially designed for Internet Programming and distributed applications.

BinProlog is a perfect tool for data mining from the Web and analyzing large data sets for decision support. Its special grammar processing and hypothetical reasoning extensions are well suited for developing powerful information retrieval tools with intelligent text processing and knowledge extraction abilities. Rule-based reasoning applications, from medical diagnosis to computer system configuration and network monitoring, can be easily built in Prolog and put on the web using our Internet Programming Toolkit, consisting of Client, Server and Search Engine components.

The BinProlog Internet Client Library is used to fetch HTML pages from a web server and run secure, high-level, rule based CGI Scripts.

The BinProlog Internet Server Library contains a programmable, multi-threaded HTTP server component supporting multiple Prolog rule bases and efficient server side execution of Prolog programs directly. It is a quick, self contained solution to put your Prolog application on the Web, without the need for a Web server.

The BinNet Programmable Internet Search Engine is a state-of-the-art Web spider using intelligent heuristics for link classification and traversal. It is programmable using simple Prolog scripts to focus the search through constraints about key words and link categories.

BinProlog is unique among commercial Prolog systems for its ability to generate high performance, portable C-code. This allows delivering standalone, one file executable applications, avoiding the usual hassle with complex installation processes.

BinProlog provides powerful natural languages processing capabilities, going far beyond what conventional DCGs can do: assumption grammars providing combined DCG functionality and backtrackable assumptions, allowing order-independent building of complex syntactic structures.

BinProlog generates high quality animated 3D graphics visible over the internet using standard VRML 97 files.

Among the hot new applications which can benefit from the synergy between BinProlog's efficient rule processing, distributed blackboards and Internet readiness, the following are worth mentioning:

• autonomous Web Services using Prolog Server Agents
• best price searching engines for e-commerce


• automated stock information extraction tools and electronic trading agents


• intelligent, web based, automated travel agent services


• Web based scheduling applications