The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of Logic Programming, relate it to other formal and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the International Conference on Logic Programming,[1] oversees the journal Theory and Practice of Logic Programming (TPLP),[2] and publishes an electronic newsletter.[3]
The activities of the Association are directed by an Executive Committee and President, elected by ALP members. The current president is Thomas Eiter.[4] Here is a list of all presidents:[5]
2022- Thomas Eiter at Vienna University of Technology
2019-2021 Thomas Eiter pro tem at Vienna University of Technology
2014-2019 Torsten Schaub at the University of Potsdam
2010-2014 Gopal Gupta at the University of Texas, Dallas
2005-2009 Manuel Hermenegildo at the Technical University of Madrid
2001-2004 Veronica Dahl at Simon Fraser University
1997-2000 Krzysztof R. Apt at Centrum Wiskunde & Informatica in Amsterdam
1993-1996 David Scott Warren at Stony Brook
1989-1992 Herve' Gallaire at the European Computer-Industry Research Center in Munich
1986-1988 Keith Clark at Imperial College London
In 1997, the ALP bestowed to fifteen recognized researchers in logic programming the title Founders of Logic Programming to recognize them as pioneers in the field.[6]
Maurice Bruynooghe (Belgium)
Jacques Cohen (US)
Alain Colmerauer (France)
Keith Clark (UK)
Veronica Dahl (Canada/Argentina)
Maarten van Emden (Canada)
Hervé Gallaire (France)
Robert Kowalski (UK)
Jack Minker (US)
Fernando Pereira (US)
Luís Moniz Pereira (Portugal)
Ray Reiter (Canada)
J. Alan Robinson (US)
Peter Szeredi (Hungary)
David H. D. Warren (UK)
^"ICLP Conferences". Association for Logic Programming. Retrieved 15 October 2022.
^"Theory and Practice of Logic Programming". Cambridge University Press. Retrieved 15 October 2022.
^"ALP Newsletter". Association for Logic Programming. Retrieved 15 October 2022.
^"EDITORIAL, Vol 33, DEC 2020 – Association for Logic Programming". Association for Logic Programming. Retrieved 15 October 2022.
^"ALP EC Elections". Association for Logic Programming. 1997. Retrieved 16 October 2022.
^"ALP Awards". Association for Logic Programming. 1997. Retrieved 15 October 2022.
and 25 Related for: Association for Logic Programming information
The AssociationforLogicProgramming (ALP) was founded in 1986. Its mission is "to contribute to the development of LogicProgramming, relate it to other...
Logicprogramming is a programming, database and knowledge representation paradigm based on formal logic. A logicprogram is a set of sentences in logical...
Functional logicprogramming is the combination, in a single programming language, of the paradigms of functional programming and logicprogramming. This style...
of LogicProgramming. 1 (1). Cambridge University Press: 1. doi:10.1017/s1471068400000028. "Journal of Logical and Algebraic Methods in Programming". 2013...
constraint logicprogramming were Prolog III, CLP(R), and CHIP. Instead of logicprogramming, constraints can be mixed with functional programming, term rewriting...
logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is...
Conference on LogicProgramming (ICLP) is the premier academic conference on the topic of logicprogramming, one of the main programming paradigms. It...
declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation...
community, whose Prolog Education Committee, sponsored by the AssociationforLogicProgramming has the mission of "making Computational and Logical Thinking...
researchers the title of Founder of LogicProgramming. He then received the Associationfor Constraint Programming's Research Excellence Award in 2008....
Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logicprograms and databases...
Group 2.8 (Functional Programming). The conference focuses on functional programming and related areas of programming languages, logic, compilers and software...
functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...
boson Algorithmic probability Association for LogicProgramming IBM ALP, Assembly Language Processor, for 32-bit OS/2 Access Linux Platform, a mobile operating...
In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs. It was developed by John C. Reynolds, Peter O'Hearn...
Systems: Five Years into the Conference". Newsletter of the AssociationforLogicProgramming. "AST 2006, Applications of Semantic Technologies, 1st International...
Literate programming is a programming paradigm introduced in 1984 by Donald Knuth in which a computer program is given as an explanation of how it works...
LogicProgram", in Communications of the ACM, Vol. 29, No. 5, 1986, pp. 370–386. Kowalski, R., "Legislation as LogicPrograms", in LogicProgramming in...
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode...
for the inference mechanisms used in logicprogramming and the programming language Prolog. Robinson was the Founding Editor of the Journal of Logic Programming...
important book in the area of programming languages in recent years." Pfenning, Frank (June 2004). "review of Types and Programming Languages by Benjamin C...
some programming languages have been specifically designed for artificial intelligence (AI) applications. Nowadays, many general-purpose programming languages...
branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals...
software engineering, programming in the large and programming in the small refer to two different aspects of writing software. Programming in the large means...
procedures, by writing code in one or more programming languages. Programmers typically use high-level programming languages that are more easily intelligible...