In engineering and computer science, an implementation is the practical application of a methodology or algorithm to fulfill a desired purpose. For example, one might create a computer program that sorts a list of numbers in ascending order. To do so, one would implement a known method of sorting.
In political science, implementation refers to the carrying out of public policy. Legislatures pass laws that are then carried out by public servants working in bureaucratic agencies. This process consists of rule-making, rule- administration and rule-adjudication. Factors impacting implementation include the legislative intent, the administrative capacity of the implementing bureaucracy, interest group activity and opposition, and presidential or executive support.
See also: Interface (computer science), Java programming language.
More on [ Implementation ]

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.
Meta Description: [ SWI-Prolog -- an LGPL comprehensive and portable Prolog compiler ]
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.
Meta Description: [ Prolog, expert systems and artificial intelligence
products, articles, examples, freeware and customer stories
about embedding intelligent components that diagnose problems, recommend configurations,
give advice, schedule events, monitor processes, apply business rules and more. ]
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.
404
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.
404
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.
Babol Prolog - Prolog WAM-based implementation. Entirely written in C. Still under construction.
Meta Description: [ Tworzenie oprogramowania i baz danych na zamówienie - także nietypowe rozwiązania. ]
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.
Meta Description: [ innovative software development specializing in Java and Prolog based Internet programming and Intelligent Mobile Agent building tools ]
404
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]
CMU Free/Shareware Prolog - CMU's AI repository offers a collection of Prolog implementations.
CU-Prolog - Constraint Unification Prolog (CUP) developed by the Institute for New Generation Computer Technology (ICOT), Japan. Originally written in C under Unix, MacCup is for Macintosh, DJCup for MS-DOS, with both implementations released as free software.
EZY Prolog - A typed prolog interpreter, compatible with Visual Prolog, powrefull syntax checker with flow pattern analyser, GUI designer for declarative GUI, built-in functionality for ODBC, Winsock, regular expressions, text parsing, XML processing, HTML formatted output of Prolog source. [Free for research purposes]
GNU Prolog - This compiler accepts Prolog + constraint programs and produces native binaries. The obtained executable is subsequently stand-alone. The size of this executable can be quite small since GNU Prolog can avoid linking the code of most unused built-in predicates. The performance of GNU Prolog is very encouraging (comparable to commercial systems).
IF/Prolog - A Prolog implementation for use in industrial and commercial environments. It complies with the ISO Prolog standard and runs on UNIX and MS-Windows environments. IF/Prolog has a rich set of interfaces to standard software components and an additional Constraint Technology Package for efficient solutions of complex optimization problems. Comes with a Java interface.
INRIA wamcc - Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x
K-Prolog - This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments.
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]
Logtalk - An object-oriented extension to the Prolog programming language. It integrates logic programming with object-oriented and event-driven programming. Compatible with most Prolog compilers. [Open source]
Meta Description: [ Logtalk is a free object-oriented extension to the Prolog programming language. Integrating logic programming with object-oriented and event-driven programming, is compatible in most Prolog compilers. ]
NU-Prolog - The successor of MU-Prolog, this compiled Prolog system designed and implemented in the mid-80's as a 'purer' logic solution, interfaces with UNIFY databases and is available under an academic license.
404
ProFIT - Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.
Qu-Prolog - The Software Verification Research Centre (Univ. of Queensland) extended version of Prolog currently released under Linux and Solaris is designed primarily as a prototyping language and tactic language for theorem provers, including support for efficient higher-order programming and logic programming of interactive applications.
Meta Description: [ The School of Information Technology and Electrical Engineering - QuProlog Home ]
Quintus Prolog - The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.
Meta Description: [ Quintus Prolog is a robust, well known, well proven, embeddable implementation of Prolog, for commercial applications ]
Reform Prolog - Recursion-parallel Single Program, Multiple Data (SPMD) implementation; assumes one sequential worker and arbitrary, fixed number parallel workers, each worker is process, can have more workers than processors. Successor: High Performance Erlang. [Open Source, GPL]
SICStus Prolog 3 - This ISO-conformant performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension.
Meta Description: [ SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system ]
Strawberry Prolog - This Prolog compiler for Windows 95/98/NT and Unix/Linux supports OLE and Prolog CGI Scripts. Strawberry Prolog is suitable for client-server applications and has unique debugging facilities.
Meta Description: [ Professional tool for programming in Prolog. Free Light edition with many example programs in it. ]
The YAP Prolog System - The University of Porto's Edinburgh-style, WAM-based Prolog engine is available on 32-bit machines running Sun and Linux and 64-bit Alphas running OSF UNIX and Linux. An open-source policy is being implemented with regard to distribution.
Trinc-Prolog, an object oriented prolog for Windows - Trinc-Prolog is a new development tool for the prolog language. Trinc-Prolog supports the ISO Prolog standard and has extended the prolog language with innovative object oriented features. TPWIN,an OO class library is available to develop Windows applications.
Meta Description: [ Need prolog for Windows? Trinc-Prolog is an object oriented ISO Prolog compliant development tool... ]
Visual Prolog - A full-featured programming environment is offered with all the facilities necessary to write mission-critical, commercial-grade applications. A freeware version is available.
Meta Description: [ Visual Prolog is a full-featured programming environment for making commercial applications. Prolog compiler, IDE, tutorials, examples. New: Visual Prolog 7.0 ]
| Alderleaf College - intro pt 1 | |
| Next Video | |