Visual Prolog
The newest generation of the Visual Prolog logical programming language
- Downloads:91
- Last update:Jan 18, 2008
- Version:7.1.7103
- License:Freeware
- Publisher:Prolog Development Center
- System Requirements
Windows All
Visual Prolog
The newest generation of the Visual Prolog logical programming language Visual Prolog 7 is the newest generation of the Visual Prolog logical programming language that might be used for creating industrial strength applications for the Microsoft Windows 32 platform.
Here are some key features of "Visual Prolog":
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
automatic memory management
supports direct linkage with C/C++
supports direct calling of Win32 API functions
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"
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.
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.
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.
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.
Limitations:
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.
Rating & Reviews for Visual Prolog
Software Comparison Related to Visual Prolog
Tips & Guides Related to Visual Prolog
Free Download Visual Prolog
Microsoft Component Installer Software Development Kit
Z++ Visual and GUI Maker
VMware Lab Manager
RGenerateClassTool
3DLinX ActiveX Rendering Engine