IF/Prolog

Appeared in Volume 9/4, November 1996

1. IF/Prolog 5.0 for MS-Windows

IF/Prolog is a high performance and memory efficient programming system which is easily embedded into large applications. It incorporates a graphical development environment and on-line hypertext style help. Also included are graphical debugging, tracing and compilation tools.

New for version 5.0, Constraint Technology enables IF/Prolog to tackle organisation problems present in resource-allocation, production planning, and traffic scheduling. It supports big integers and rationals, coroutining, numeric constraints, finite domains, and boolean constraints.

Other Features:

• Full compliance to the ISO Prolog standard.

• Bi-Directional Interfaces to C and C++.

• A module system (supporting data-hiding and meta-programming).

• A DDE interface (i.e. easy communication with Visual Basic, Word, Excel, etc.)

• Support for foreign languages (e.g. Asian multibyte character sets).

IF/Prolog is available for Windows 3.1, Windows 3.11 for Workgroups, Windows NT and Windows '95. At least 8MB of main memory is recommended and approximately 6MB of free disk space.

2. IF/Prolog 5.0 for UNIX

Similar features as the Windows version. Additional features:

• An OSF/Motif Graphical Development Environment.

• SQL Database Interfaces to Oracle, INGRES and Informix.

• OSF/Motif Programming Interface.

At least 8MB of main memory is recommended and approximately 10MB of free disk space.

3. IF/Prolog Search and Solve Promotion

This promotion is intended for universities and non-commercial research institutes. The offer includes a fully equipped UNIX or MS-Windows version of IF/Prolog at a very reasonable price.

For further information, look at:
http://www.biz.isar.de/ifcomputer/search_and_solve/

Andrew R. Verden
IF Computer GmbH
Ludwig-Thoma-Weg 11a
82065 Baierbrunn, Germany
Email: info@ifcomputer.isar.de
Tel: +49 89 7936 0037
Fax: +49 89 7936 0039
URL: http://www.biz.isar.de/ifcomputer/