Язык программирования LISP

LISP - Энциклопедия языков программирования - Описание языка, истории развития, тенденций.
Приведены примеры программ для различных диалектов языка LISP.

Подробности

Категория: Software

Обновлено: 12 октября 2017

Просмотров: 1482

Языки программирования

Проект "Прогопедия" — свободная энциклопедия языков программирования.
сайт http://progopedia.ru/  | http://progopedia.com/ (англ.)

Все тексты доступны на условиях свободной лицензии GNU Free Documentation License.

Progopedia, the free encyclopedia of programming languages.
Progopedia is a free (GNU Free Documentation License) web-based encyclopedia of programming languages.

wikipedia.org
■ List of programming language researchers (incomplete)
List of researchers of programming language theory, design, implementation, and related areas.

■ Researchers in Programming Languages and Compilers
■ Resources for programming language research
Links to home pages of researchers working on programming language theory, design, implementation, and related areas.

Различные способы классификации языков программирования
 
Парадигма программирования — это комплекс концепций, принципов и абстракций, определяющих фундаментальный стиль программирования, например:
■ Императивная парадигма программирования описывает процесс вычислений посредством описания управляющей логики программы, т.е. в виде последовательности отдельных команд, которые должен выполнить компьютер. Каждая команда является инструкцией, изменяющей состояние программы. Программа, написанная в императивном стиле, похожа на набор приказов, выражаемых повелительным наклонением в естественных языках.
■ Декларативная парадигма программирование (включающая в себя функциональное программирование и логическое программирование) - такой стиль программирования, при использовании которого в программах описывается способ решения поставленной задачи, а не предписываются шаги для получения результата.

Список парадигм программирования

Смотри также:
Языки вероятностного программирования /Probabilistic Programming Llanguages
http://probabilistic-programming.org/wiki/Home
Данный сайт, разработчиком которого является Дэниэл Рой (Daniel Roy, Department of Computer and Mathematical Sciences, University of Toronto Scarborough, Canada), служит хранилищем ссылок и информации о языках вероятностного программирования.
This website serves as a repository of links and information about Probabilistic Programming Languages, including both academic research spanning theory, algorithms, modeling, and systems, as well as implementations, evaluations, and applications. The site is still under construction.

Existing probabilistic programming systems
Collection of research articles on probabilistic programming.
The probabilistic-programming mailing list hosted at CSAIL/MIT

Tutorials and Books

The Design and Implementation of Probabilistic Programming Languages
An introduction to PPLs and lightweight implementation techniques for sequential Monte Carlo and Metropolis-Hastings. Uses WebPPL.

Probabilistic Models of Cognition Tutorial
A Web-based book using Church to introduce probabilistic Cognitive Science and AI.

Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence
Freer, Roy, and Tenenbaum relate Turing's legacy to probabilistic programming approaches in Artificial Intelligence in this book chapter, appearing in a volume edited by Rod Downey, entitled Turing's Legacy and being published by Cambridge University Press in their ASL Lecture Notes in Logic series.

Practical Probabilistic Programming
This book provides an introduction to probabilistic programming focusing on practical examples and applications. No prior experience in machine learning or probabilistic reasoning is required. The book uses Figaro to present the examples but the principles are applicable to many probabilistic programming systems.

Подробности

Категория: Software

Обновлено: 12 октября 2017

Просмотров: 1837

Язык программирования PROLOG

PROLOG - Энциклопедия языков программирования - Описание языка, истории развития, тенденций.
Приведены примеры программ для различных диалектов языка PROLOG.

The Association for Logic Programming (ALP)

ALP Links (logic programming):
Planet Prolog blog (mantained by Tom Schrijvers)
ALP Newsletter This is the electronic newsletter of the Association for Logic Programming. It contains news, net postings, call for papers, comments, conference announcements and humour, all related to Computational Logic.
Old issues (pre 2010) of the ALP Newsletters

Prolog systems:
B Prolog
CIAO Prolog
ECLiPSe Constraint Logic Programming System
GNU Prolog
SICStus Prolog
SWI Prolog
XSB Prolog
YAP Prolog
tuProlog

Answer set programming systems:
CMODELS
DLV Disjunctive Logic Programming with Stable Model Semantics
Potassco (gringo, clasp, etc.)
Smodels (and lparse)

Extensions of logic programming:
Logtalk Object-oriented logic programming language
TOY A constraint functional logic system
The ProB Animator and Model Checker

Подробности

Категория: Software

Обновлено: 12 октября 2017

Просмотров: 1486

Система программирования Visual Prolog

Подробности

Категория: Software

Обновлено: 12 октября 2017

Просмотров: 1380