This is a preview of an article I hope will eventually appear in the Newsletter of the Association for Logic Programming. Other articles where Logic programming language is discussed: computer programming language: Declarative languages: Logic programming languages, of which PROLOG (programming in logic) is the best known, state a program as a set of logical relations (e.g., a grandparent is the parent of a parent of someone). What is Logic Programming? The history of programming languages spans from documentation of early mechanical computers to modern tools for software development. 3 Responses to “A Possible Future History of Logic Programming” Andre Vellino Says: June 16, 2008 at 11:57 am | Reply. Nevertheless, logic programming (like functional programming) can be a useful programming idiom. 3 0 obj
Logic Programming should be on a similar trajectory. Early programming languages were highly specialized, relying on mathematical notation and similarly obscure syntax. « Carl Hewitt Articles and Sites | <>
Liz Bond Crews; Desktop Publishing Meeting, Prolog and Logic Programming Historical Sources Archive, http://www.softwarepreservation.org/projects/prolog/lisbon/lpn/, http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/, https://dblp.org/db/conf/iclp/lpw1983.html, https://engineering.stanford.edu/donald-knuth-2014-kailath-lecture, https://doi.ieeecomputersociety.org/10.1109/MAHC.2006.78, http://www.softwarepreservation.org/projects/prolog/. Unfortunately, the early years of logic programming are not as consistently preserved. dB�ZAD�����C{��D��`+l���-�8�gxQB��7I��$�p��7��������:�3����
�Uۢ�+���ʷ�=�aBnK�ѹ�آz�����J��2fu��������ή%�y̧R O�����\)��A&�� Over the course of history, the term "functional programming" has grown more precise and technical as the field has matured. <>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI] >>/Annots[ 34 0 R 36 0 R 37 0 R 38 0 R 40 0 R 41 0 R 43 0 R 44 0 R 46 0 R 50 0 R 51 0 R 54 0 R 56 0 R 59 0 R 60 0 R] /MediaBox[ 0 0 612.07 792] /Contents 4 0 R/Group<>/Tabs/S/StructParents 0>>
Using this characterization, my colleagues and I were able to prove The web site is hosted by the Computer History Museum [8], which welcomes donations of historic physical and digital artifacts. The term "Logic Programming" was popularized by Robert Kowalski beginning in the 1970's. Your email address will not be published. x��[�s�6�����(�D0��#�э��i{m/����q���h�=�T�H���v�X�蔌d away from my home in Silicon Valley. For example, according to dblp.org, the proceedings of the first two International Logic Programming Conferences are not available online, and according to worldcat.org, the closest library copies of the two are 1236 km. that Logic Programming is not computationally universal. In other \,v?� �����r�b�ޝ��V�dVM���M3�����:�X>,���_^��|��z8Jw��4T�ǡH��H��۪a:�
G9�T�[\�C��p��
G��̆n��n~x�� And there are a number of logic programming systems being actively developed, many of which are released as open source software. It’s also worth noting the Software Heritage Acquisition Process [9], a process designed by Software Heritage [5] in collaboration with the University of Pisa to curate and archive historic software source code. Therefore mathematical logic cannot implement concurrent computation in open systems. About a year ago I began a project to collect and preserve primary and secondary source materials (including specifications, source code, manuals, and papers discussing design and implementation) from the history of logic programming, beginning with Marseille Prolog. (ICOT) and was a principle cause of the failure of the project. The language, called lambda calculus, is in exact correspondence with a formulation of the laws of reason, called natural deduction. proposed that Logic Programming be characterized as "the logical deduction of computational steps". However, he never provided an adequate definition. 4 0 obj
%����
Over the course of history, the term "functional programming" has grown more precise and technical as the field has matured. Main Dusty Decks: Preserving historic software. and 8850 km. Logic Programming was used Logic programming has a long and interesting history with a rich literature comprising newsletters, journals, monographs, and workshop and conference proceedings. <>
Early workshop proceedings and many technical reports are similarly hard to find (but see [1, 2]!). The history of Logic Programming has been a controversial topic (see Carl Hewitt's Censorship and Harassment by the Wikipedia). Learn how your comment data is processed. My beef with Senner’s book is that he also fails to acknowledge the seminal role of Logic Programming’s innovations as a term-rewriting system. Much of that literature is accessible online, at least to people with the appropriate subscriptions. I would appreciate suggestions for additional material [7], especially for the early years (say up through the mid 1980s). Much of that literature is accessible online, at least to people with the appropriate subscriptions. in the 1970's. I <>>>
Logic programming has a long and interesting history with a rich literature comprising newsletters, journals, monographs, and workshop and conference proceedings. endobj
As noted by people like Donald Knuth [3], Len Shustek [4], and Roberto Di Cosmo [5], software is a form of literature, and deserves to be preserved and studied in its original form: source code. Note: This article is about the middle history of Logic Programming. However, he never provided an adequate definition. Consequently, Procedural Embedding of Knowledge [Hewitt 1971] is strictly more general than Logic Programming. stream
I’m posting it here first because of the uncertain publication schedule of that newsletter and my desire to announce a new website: Prolog and Logic Programming Historical Sources Archive. This site uses Akismet to reduce spam. words, there are some concurrent computations that cannot be %PDF-1.5
The history of logic and computing suggests a programming language that is equally natural. the logical deduction of computational steps, Carl Hewitt's Censorship and Harrassment by the Wikipedia », Carl Hewitt's Censorship and Harassment by the Wikipedia. Luís Moniz Pereira provided enthusiastic support, scanned literature from the early 1980s [1, 2], and encouraged me to write this article. Publications can provide overviews and algorithms, but ultimately the details are in the source code. Maarten van Emden provided the initial artifacts and introductions enabling me to begin this project. implemented using Logic Programming. Such languages are similar to the SQL database language. The term "Logic Programming" was popularized by Robert Kowalski beginning 2 0 obj
This article is intended to bring awareness of the project to a larger circle than the few dozen people I’ve contacted so far. 1 0 obj
A historical account of the above events can be found in the article History of Logic Programming that was censored from the Wikipedia at the instigation of Kowalski. | Carl Hewitt's Censorship and Harrassment by the Wikipedia ». Your email address will not be published. A web site with the materials I’ve found is available [6]. as the foundation of the Japanese Fifth Generation Computing Project And the source code of the early systems, although at one time freely distributed from university to university, is now even more difficult to find. endobj
endobj
Required fields are marked *. The history of Logic Programming has been a controversial topic (see Carl Hewitt's Censorship and Harassment by the Wikipedia). And a number of other people have generously contributed time and artifacts; they are listed in the Acknowledgements section of [6] as well as in individual entries of that web site. History of Logic Programming ssnstudentclubit Uncategorized July 27, 2019 2 Minutes The use of mathematical logic to represent and execute computer programs is also a feature of the lambda calculus, developed by Alonzo Church in the 1930s.