GNU Prolog

GNU Prolog
GNU Prolog
Тип

Компилятор
Разработчик

Daniel Diaz
Написана на

C
Операционная система

Linux, Solaris, Windows, BSD, Mac OS X
Последняя версия

1.4.1 (29 июня 2012)
Лицензия

GPL v2
Сайт

www.gprolog.org

GNU Prolog (gprolog) — компилятор языка программирования Пролог, разработанный Daniel Diaz с встроенным интерактивным отладчиком.[1] Доступен для Unix, Windows и Mac OS X. Поддерживает расширения языка Программирование в ограничениях над конечными множествами, работу с файлами при помощи грамматик, построенных на определенных предложениях (DC-грамматик). Также предоставляет интерфейс к операционной системе

Компилятор транслирует исходный код в байт-код, который затем интерпретируется абстрактной машиной Уоррена (англ.). Виртуальная машина и байт-код объединяются и сохраняются в виде отдельного исполняемого файла.

См. также

Примечания

  1. ↑ A Complete Guide to Computer Fundamentals - Sudipto Das - Google Книги

Ссылки


Заготовка статьи

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Полезное


Смотреть что такое "GNU Prolog" в других словарях:

  • GNU Prolog — (also called gprolog) is a compiler developed by [http://pauillac.inria.fr/ diaz/ Daniel Diaz] with an interactive debugging environment for Prolog available for Unix and Windows. It also supports some extensions to Prolog including constraint… …   Wikipedia

  • GNU Prolog — El GNU Prolog (también llamado gprolog) es un compilador con un ambiente interactivo de depuración para el lenguaje Prolog disponible para Unix, Windows y Mac OS X. También soporta algunas extensiones al Prolog incluyendo programación con… …   Wikipedia Español

  • Prolog (Programmiersprache) — Prolog Paradigmen: logisch, deklarativ, oft auch constraintbasiert Erscheinungsjahr: 1972 Designer: Alain Colmerauer Entwickler: Philippe Roussell …   Deutsch Wikipedia

  • PROLOG — Pour les articles homonymes, voir Prolog (homonymie). Prolog est l’un des principaux langages de programmation logique. Le nom Prolog est un acronyme de PROgrammation LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972. Le… …   Wikipédia en Français

  • PROLOG — Paradigmen: logisch, deklarativ, oft auch constraintbasiert Erscheinungsjahr: 1972 Designer: Alain Colmerauer Entwickler: Philippe Roussell …   Deutsch Wikipedia

  • Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… …   Wikipedia

  • Prolog — Pour les articles homonymes, voir Prolog (homonymie). Prolog Apparu en 1972 Auteur …   Wikipédia en Français

  • Prolog — El Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique,[1] es un lenguaje de programación lógico e interpretado, bastante conocido en el medio de investigación en Inteligencia Artificial. Contenido 1 Historia 2 Vue …   Wikipedia Español

  • Comparison of Prolog implementations — The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language. Contents 1 Main features 2 Operating system and Web… …   Wikipedia

  • SWI-Prolog — is an open source implementation of the programming language Prolog, commonly used for teaching and semantic web applications.It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI,interfacing …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»