Sdružení pro logické programování - Association for Logic Programming - Wikipedia
 | tento článek potřebuje další citace pro ověření. (Květen 2014) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
Sdružení pro logické programování (ALP) byla založena v roce 1986. Jejím posláním je „přispívat k rozvoji Logické programování, spojit to s jinými formální a také humanistickým vědám a podporovat jejich využití v akademické sféře a průmyslu po celém světě. “Spravuje Mezinárodní konference o logickém programování,[1][2] dohlíží na Teorie a praxe logického programování (TPLP)[3] časopis publikováno Cambridge University Press a vydává elektronický zpravodaj.
Činnost Asociace je řízena výkonným výborem a prezidentem voleným členy ALP. Současný prezident je Torsten Schaub na University of Potsdam[Citace je zapotřebí ]. Předchozí prezidenti byli: Keith Clark na Imperial College London od roku 1986 do roku 1990, Herve 'Gallaire na Evropské výzkumné středisko pro počítačový průmysl v Mnichov od roku 1990 do roku 1993, David Scott Warren v Stony Brook od roku 1993 do roku 1997, Krzysztof Apt na Centrum Wiskunde & Informatica v Amsterdam od roku 1997 do roku 2001, Veronica Dahl na Univerzita Simona Frasera od roku 2001 do roku 2004, Manuel Hermenegildo na Technická univerzita v Madridu od roku 2004 do roku 2010 a Gopal Gupta na University of Texas, Dallas od roku 2010 do roku 2014.
V roce 1997 ALP udělila titul patnácti uznávaným výzkumníkům v logickém programování Zakladatelé logiky Programování uznat je jako průkopníky v této oblasti.[4]
- Maurice Bruynooghe (Belgie)
- Jacques Cohen (NÁS)
- Alain Colmerauer (Francie)
- Keith Clark (SPOJENÉ KRÁLOVSTVÍ)
- Veronica Dahl (Kanada / Argentina)
- Maarten van Emden (Kanada)
- Hervé Gallaire (Francie)
- Robert Kowalski (SPOJENÉ KRÁLOVSTVÍ)
- Jack Minker (NÁS)
- Fernando Pereira (NÁS)
- Luís Moniz Pereira (Portugalsko)
- Ray Reiter (Kanada)
- J. Alan Robinson (NÁS)
- Peter Szeredi (Maďarsko)
- David H. D. Warren (SPOJENÉ KRÁLOVSTVÍ)