Asociación para la Programación Lógica

La Asociación para la Programación Lógica (ALP) se fundó en 1986. Su misión es «contribuir al desarrollo de la Programación Lógica , relacionarla con otras ciencias formales y también con las humanidades, y promover su uso en el ámbito académico y la industria en todo el mundo». Organiza la Conferencia Internacional sobre Programación Lógica , ^{[ 1 ]} supervisa la revista Theory and Practice of Logic Programming (TPLP), ^{[ 2 ]} y publica un boletín electrónico. ^{[ 3 ]}

Las actividades de la Asociación están dirigidas por un Comité Ejecutivo y un Presidente, elegidos por los miembros de ALP. El actual presidente es Enrico Pontelli. ^{[ 4 ]} Aquí hay una lista de todos los presidentes: ^{[ 5 ]}

• 2024 - Enrico Pontelli en la Universidad Estatal de Nuevo México
• 2019-2024 Thomas Eiter ( promoción 2019-2020) en la Universidad Tecnológica de Viena.
• 2014-2019 Torsten Schaub en la Universidad de Potsdam
• 2010-2014 Gopal Gupta en la Universidad de Texas, Dallas
• 2005-2009 Manuel Hermenegildo en la Universidad Politécnica de Madrid
• 2001-2004 Veronica Dahl en la Universidad Simon Fraser
• 1997-2000 Krzysztof R. Apt en Centrum Wiskunde & Informatica en Ámsterdam
• 1993-1996 David Scott Warren en Stony Brook
• 1989-1992 Hervé Gallaire en el Centro Europeo de Investigación de la Industria Informática en Múnich
• 1986-1988 Keith Clark en el Imperial College de Londres

En 1997, la ALP otorgó a quince investigadores reconocidos en programación lógica el título de Fundadores de la Programación Lógica para reconocerlos como pioneros en el campo. ^{[ 6 ]}

El Premio Alain Colmerauer Prolog Heritage de la ALP (en resumen: el Premio Alain Colmerauer ) ^{[ 7 ]} es organizado por la ALP. El premio se otorga por logros recientes y avances prácticos en la computación inspirada en Prolog, entendida en un sentido amplio, donde se reconocen contribuciones fundamentales, tecnológicas y prácticas con evidencia comprobada o potencial para el desarrollo futuro de la programación lógica.

• Asociación para la Programación Lógica (ALP)
• Revista de Teoría y Práctica de la Programación Lógica