Visual Prolog 7.2.7201

Visual Prolog 7.2.7201 offers an effective tool which helps you to count PDC Prolog and Turbo Prolog as predecessors.

The goal of Visual Prolog is to support industrial strength programming of complex knowledge emphasized problems. It supports advanced client-server and three-tier solutions and is especially well suited for dealing with complex knowledge. It is a very powerful and safe programming language combining the very best features of logical, functional and object-oriented programming paradigms in a consistent and elegant way.

The Personal Edition is for non-commercial usage only. It creates EXE and DLL files. There is library support for: file system, console, registry, environment variables and GUI programs.

The Personal Edition has limited library support compared to the Commercial Edition. With the Commercial Edition you get multi-threading, additional GUI controls, ODBC support, sockets, HTTP and much more.

Major Features:

1. Language features:
   • The main characteristics/notions of the Visual Prolog programming language are:
   • • based on logical programming with Horn clauses
     • fully object oriented
     • object predicate values (delegates)
     • strongly typed
     • algebraic data types
     • pattern matching and unification
     • controlled non-determinism
     • fully integrated fact databases
     • supports parametric polymorphism
     • automatic memory management
     • supports direct linkage with C/C++
     • supports direct calling of Win32 API functions
   • The object system is constructed for loose coupling between a provider and a user.  Objects can only be accessed through interfaces, and interfaces are only loosely coupled to implementations.  Any class can implement any interface with or without inheriting implementation from other classes.
   • The combination of strong type check, no-need-for-pointer-arithmetic, and automatic memory management practically removed access violations.
   • Visual Prolog has a long reputation for not producing access violations. As one of our good users once said: That kind of errors is just not an option in Visual Prolog.  We intend to keep it that way and Visual Prolog 7 family is no exception from this principle. Goal is that you will have to interface to foreign code or insist on making pointer arithmetic to provoke access violations.
   • Algebraic data types, fact databases and pattern matching combined with non-deterministic search makes Visual Prolog very well suited for dealing with complex structured knowledge.
   • All Visual Prolog data except predicate values and objects have a human readable textual representation that can be written and read back into programs.
2. Graphical Integrated Development Environment (IDE)
   • Visual Prolog Integrated Development Environment (IDE)  is designed to make it easy, convenient and fast to develop, test, and modify applications written in Visual Prolog.
   • It might be especially useful in developing of large projects.
   • • Tree representation of modules, include files, and resources in the Project window helps to group project items into packages and thus gives an extra level of abstraction.
     • The Text Editor supports convenient text editing and browsing to declarations and implementations.
     • The Dialog Editor provides standard controls to design dialogs.
     • The Menu Editor allows to create both pull-down and pop-up menus.
     • The Toolbar Editor allows to create various kinds of toolbars.
     • The Graphics Editor is a convenient tool for creating, viewing and editing icons, cursors and small bitmaps.
     • The Build Facility supports inserting of necessary packages and include directives.
     • The Browse Facilities supports search for specific entities, "go to definition" and "go to declaration"
3. Compiler
   • The Visual Prolog compiler is a successor of the Turbo Prolog compiler created in 1980s that was the first Prolog compiler. Since that time the Prolog Development Center has been developing and improving its compiler. Currently Visual Prolog compiler is a powerful and efficient compiler that can:
   • • create object files for creating standalone executables or DLLs;
     • resolve cross references among declarations;
     • validate predicate mode;
     • perform powerful type checking;
     • validate facts initialization in constructors;
     • perform predicate resolution.
4. Linker
   • Visual Prolog contains a powerful linker that can:
   • • create EXE and DLL files;
     • use LIB files, generated by the latest Microsoft Visual C compilers.
5. Debugger
   • The Visual Prolog Development Environment contains a built-in graphical debugger that can:
   • • show usual debugger views: memory, stack, variables;
     • show class and object facts with their values;
     • perform step into, step over, etc;
     • including extra stepping: step out, run to prolog code;
     • visualize fail and exit.

• New features
• Bug fixes

Requirements: Vista, Windows