Asociația pentru programare logică - Association for Logic Programming
Asociația pentru programare logică (ALP) a fost fondată în 1986. Misiunea sa este „să contribuie la dezvoltarea programării logice , să o raporteze la alte științe formale și, de asemenea, umaniste și să promoveze utilizările sale în mediul academic și în întreaga lume. “. Gestionează Conferința Internațională de Programare Logică , supraveghează revista și Teoria practicii programării logice (TPLP) publicată de Cambridge University Press și publică un buletin informativ electronic.
Activitățile Asociației sunt conduse de un Comitet Executiv și președinte, aleși de membrii ALP. Actualul președinte este Torsten Schaub la Universitatea din Potsdam. Președinții anteriori au fost: Keith Clark la Imperial College London din 1986 până în 1990, Herve 'Gallaire la ECRC din Munchen din 1990 până în 1993, David Scott Warren la Stony Brook din 1993 până în 1997, Krzysztof Apt la CWI din Amsterdam din 1997 până în 2001, Veronica Dahl la Universitatea Simon Fraser din 2001 până în 2004, Manuel Hermenegildo la Universitatea Tehnică din Madrid din 2004 până în 2010 și Gopal Gupta la Universitatea din Texas, Dallas, din 2010 până în 2014.
În 1997, ALP a acordat cincisprezece cercetători recunoscuți în programarea logicii titlul Fondatorii programării logice pentru a-i recunoaște ca pionieri în domeniu.
- Maurice Bruynooghe (Belgia)
- Jacques Cohen (SUA)
- Alain Colmerauer (Franța)
- Keith Clark (Marea Britanie)
- Veronica Dahl (Canada / Argentina)
- Maarten van Emden (Canada)
- Hervé Gallaire (Franța)
- Robert Kowalski (Marea Britanie)
- Jack Minker (SUA)
- Fernando Pereira (SUA)
- Luís Moniz Pereira (Portugalia)
- Ray Reiter (Canada)
- J. Alan Robinson (SUA)
- Peter Szeredi (Ungaria)
- David HD Warren (Marea Britanie)
