Home >> Computers >> Programming >> Languages >> Prolog >> Implementations


  Java-Based
       

  Poplog
       


Execution within computer and software engineering is the process by which a computer or virtual computer carries out the instructions of a computer program. A term start is utilized most synonymously.

The related meaning of each "to run" & "to execute" refers to the action of the user starting the program, when around "Please run the ... application."

Context of Execution
A context where execution happen is important. Super pack computer softwcome are executed in the bare machine. Computer program commonly contain inexpressed & explicit assumptions all about resources available at a instance of execution. Virtually all softwcome download are executed using a trend lines of an operating system and run-time libraries specific to the source language that provide crucial services non supplied directly per computer itself. This supportive environment, e.g., ordinarily decouples the program from either straight manipulation of the peripheral device, providing extra general, abstract services instead.

Interpreter
The rules that executes the program is known as an interpreter of the program. Loosely speaking, an interpreter actually does what a program says to clean. This is around counterpoint to the language translator that converts the program from either a single language to an additional. A usual language translators come compilers. Translators usually convert their source language to the language that is simpler & sooner to execute. the ideal is that the ratio of executions to translations of a program is big, so providing a big gain for translation versus straight interpretation of the source language.

Translators normally develop an abstract symptom that is non totally ready to execute. A conversion of the translator object code into the final form that is executed is ofttimes performed per operating formulas upright prior to execution of the program begins. This normally involves modifying a code to attach it to rattling devices addresses & establishing location links between a program & trend lines code within libraries. Around a few subjects this code is farther transformed a foremost instance these are executed, e.g. by simply-around-instance compilers, into a supplementary effective form that persists for a bit of time period, commonly at least when you took the todays execution begin.

Micro-execution
A machine language that is documented as the programming target for virtually tons computers is, inside virtually all legal actions in todays world except mayhap for super elementary processors, actually interpreted by a microprogram running inside a processor, on the rattling devices. There keep around been many tries to project RISC computers that avoid micro-execution, however a distinction between complex & reduced instruction sets has tended to blur on top instance. A independent distinction between this rather micro-interpreter & an acknowledged package interpreter is that a firmware normally doesn't vary. It used to be that firmware ordinarily changed just slowly. A execution devices inside todays world is every now and again implemented in field-reprogrammable logic, & execution schemes that modify a devices dynamically to match a todays requirements survive and could get progressively most common.

Amzi! Prolog + Logic Server
This extensible Prolog version runs under Windows, Linux, Solaris and HP/UX, supporting development of client and server applications embeddable in the web, C/C++, Java, Delphi, Visual Basic and other environments. An IDE is available for Windows along with an interpreter-based tutorial.

Aquarius Prolog 1.0
The compiler for this open-source version developed at UCB is built around the Berkeley Abstract Machine, a finer-grained rendition of WAM. An interpreter provided for program development is written in Prolog.

Logic Programming Associates
WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial]

BinProlog
BinNet Corporation offers a high-performance, robust Prolog system able to generate C/C++ code and standalone executables and providing high-level networking along with secure internet programming integrated with rule-based reasoning components.

B-Prolog
Free, compact, full CLP system that runs Prolog and CLP(FD) programs. Emulator based, performance similar to SICStus-Prolog. Runs on: FreeBSD, Linux, Solaris, SunOS, Unix, Windows 9x/NT/2000.

Brain Aid Prolog
Based on Edinburgh Prolog and extended with object-oriented mechanisms, this Berkeley-style open-source system has a compiler written in Prolog and generating Transputer assembly code.

Ciao Prolog Development System
Full ISO-Prolog compliant system, modular design allows language restriction and extension. Descriptions, contacts, mail lists, downloads. [Open Source, GPL]

cu-Prolog
Constraint Unification Prolog (CUP), developed by Institute for New Generation Computer Technology (ICOT), Japan. Originally written in C with Unix, MacCup for Macintosh, DJCup for MS-DOS. Free software. FTP site.

SWI-Prolog
Stable and free standard Prolog implementation. Targeted primarily at research and education. Windows, Linux and Unix versions available. Comes with a visual debugger and a GUI environment.

Arity/Prolog
With a compiler and interpreter written in Prolog, C and assembly language and representing a superset of Edinburgh Prolog, a programming environment is offered for Windows/NT.


Computers: Programming: Compilers






© 2005 GeneralAnswers.org