La Asociación para la Programación Lógica (ALP) fue fundada en 1986. Su misión es "contribuir al desarrollo de la Programación Lógica , relacionarla con otras ciencias formales y también humanísticas, y promover sus usos en la academia y la industria en todo el mundo. ". Gestiona la Conferencia Internacional sobre Programación Lógica , [1] [2] supervisa la revista Theory and Practice of Logic Programming (TPLP) [3] publicada por Cambridge University Press , y publica un boletín electrónico.
Las actividades de la Asociación están dirigidas por un Comité Ejecutivo y un Presidente, elegidos por los miembros de ALP. El presidente actual es Torsten Schaub en la Universidad de Potsdam [ cita requerida ] . Los presidentes anteriores fueron: Keith Clark en el Imperial College London de 1986 a 1990, Herve 'Gallaire en el European Computer-Industry Research Centre en Munich de 1990 a 1993, David Scott Warren en Stony Brook de 1993 a 1997, Krzysztof Apt en Centrum Wiskunde & Informatica en Amsterdam de 1997 a 2001, Veronica Dahl en la Universidad Simon Fraser de 2001 a 2004, Manuel Hermenegildo en la Universidad Técnica de Madrid de 2004 a 2010 y Gopal Gupta en la Universidad de Texas, Dallas de 2010 a 2014 .
En 1997, la ALP otorgó a quince reconocidos investigadores en programación lógica el título Founders of Logic Programming para reconocerlos como pioneros en el campo. [4]
- Maurice Bruynooghe (Bélgica)
- Jacques Cohen (Estados Unidos)
- Alain Colmerauer (Francia)
- Keith Clark (Reino Unido)
- Veronica Dahl (Canadá / Argentina)
- Maarten van Emden (Canadá)
- Hervé Gallaire (Francia)
- Robert Kowalski (Reino Unido)
- Jack Minker (Estados Unidos)
- Fernando Pereira (Estados Unidos)
- Luís Moniz Pereira (Portugal)
- Ray Reiter (Canadá)
- J. Alan Robinson (Estados Unidos)
- Peter Szeredi (Hungría)
- David HD Warren (Reino Unido)