Welcome to BinProlog - a high performance, robust Prolog system with ability to generate C/C++ code and standalone executables.

BinProlog provides high-level networking ( remote predicate calls, Linda blackboards, mobile code, multi-threaded execution on Windows, Linux and Solaris ), secure Internet programming (CGI scripting and multi-user server side databases) integrated with rule based reasoning components. BinProlog is the perfect tool for building Intelligent Agents - the next generation of Internet aware virtual assistants.

Supported by an innovative software development company, BinNet Corporation based in Texas, under competitive industrial licensing conditions, BinProlog is ready for applications requiring a high performance Prolog system as well as quick development of a mobile agent enabled networking infrastructure, with data processing, computations and reasoning migrating transparently to the site where they are needed.

BinProlog is not just yet another Prolog compiler. It incorporates more than 15 years of research results and a significant number of innovations in Prolog implementation technology. It has been extensively tested on all major 32 bit and 64 bit processors and operating systems. We are confident that its performance, stability and reliability will make it the Prolog system of choice for your mission critical applications.

Paul Tarau, PhD
President & CEO

What can BinProlog do for you?  Order BinProlog today!