Fifty Years of Prolog and Beyond

PHILIPP KOERNER; MICHAEL LEUSCHEL; JOAO BARBOSAVITOR SANTOS COSTAVERONICA DAHLMANUEL V. HERMENEGILDOJOSE F. MORALESJAN WIELEMAKERDANIEL DIAZSALVADOR ABREUGIOVANNI CIATTO

首页> 外文期刊>Theory and practice of logic programming >Fifty Years of Prolog and Beyond

【24h】

Fifty Years of Prolog and Beyond

机译：Fifty Years of Prolog and Beyond

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相关主题

摘要

Both logic programming in general and Prolog in particular have a long and fascinating history,intermingled with that of many disciplines they inherited from or catalyzed. A large body ofresearch has been gathered over the last 50 years, supported by many Prolog implementations.Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmersand implementors, yielding systems that, while sharing the “classic” core language, inparticular, the main aspects of the ISO-Prolog standard, also depart from each other in otheraspects. This obviously poses challenges for code portability. The field has also inspired manyrelated, but quite different languages that have created their own communities. This articleaims at integrating and applying the main lessons learned in the process of evolution of Prolog.It is structured into three major parts. First, we overview the evolution of Prolog systemsand the community approximately up to the ISO standard, considering both the main historicdevelopments and the motivations behind several Prolog implementations, as well as other logicprogramming languages influenced by Prolog. Then, we discuss the Prolog implementations thatare most active after the appearance of the standard: their visions, goals, commonalities, andincompatibilities. Finally, we perform a SWOT analysis in order to better identify the potentialof Prolog and propose future directions along with which Prolog might continue to add usefulfeatures, interfaces, libraries, and tools, while at the same time improving compatibility betweenimplementations.

著录项

来源
《Theory and practice of logic programming》 |2022年第6期|776-858|共83页
作者
PHILIPP KOERNER; MICHAEL LEUSCHEL; JOAO BARBOSAVITOR SANTOS COSTAVERONICA DAHLMANUEL V. HERMENEGILDOJOSE F. MORALESJAN WIELEMAKERDANIEL DIAZSALVADOR ABREUGIOVANNI CIATTO;
展开▼
作者单位

Institut fuer Informatik, Universitaet Duesseldorf, Universitaetsstr. 1, D-40225 Duesseldorf, Germany;

Department of Computer Science, Faculty of Science of the University of Porto, Porto, Portugal;

Computing Sciences Department, Simon Fraser University, Burnaby, CanadaIMDEA Software Institute and Universidad Politecnica de Madrid (UPM), Madrid, SpainCentrum voor Wiskunder en Informatica (CWI), Amsterdam, NetherlandsCentre de Recherche en Informatique, University Paris-1, Paris, FranceNOVA-LINCS, University of Evora, Evora, PortugalDepartment of Computer Science and Engineering, Alma Mater Studiorum—Univerita di Bologna,Bologna, Italy;

展开▼
收录信息
原文格式 PDF
正文语种英语
中图分类
关键词
Prolog; logic programming systems; portability; rationale; evolution; vision;

Fifty Years of Prolog and Beyond

摘要

著录项

相关主题

期刊订阅