stringtranslate.com

Asociación para la programación lógica

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] supervisa la revista Teoría y Práctica de la Programación Lógica (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 presidente actual es Thomas Eiter. [4] Aquí hay una lista de todos los presidentes: [5]

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 este campo. [6]

El premio ALP Alain Colmerauer

El Premio ALP Alain Colmerauer Prolog Heritage (en resumen: el Premio Alain Colmerauer ) [7] está organizado por la ALP. El Premio se otorga por logros recientes y avances prácticos en la informática inspirada en Prolog, entendida en un sentido amplio, donde son elegibles contribuciones fundacionales, tecnológicas y prácticas con evidencia comprobada o potencial para el desarrollo futuro de la Programación Lógica.

Referencias

  1. ^ "Conferencias ICLP". Asociación para la Programación Lógica . Consultado el 15 de octubre de 2022 .
  2. ^ "Teoría y práctica de la programación lógica". Prensa de la Universidad de Cambridge . Consultado el 15 de octubre de 2022 .
  3. ^ "Boletín ALP". Asociación para la Programación Lógica . Consultado el 15 de octubre de 2022 .
  4. ^ "EDITORIAL, Vol 33, DIC 2020 - Asociación para la Programación Lógica". Asociación para la Programación Lógica . Consultado el 15 de octubre de 2022 .
  5. ^ "Elecciones ALP CE". Asociación para la Programación Lógica . 1997 . Consultado el 16 de octubre de 2022 .
  6. ^ "Premios ALP". Asociación para la Programación Lógica . 1997 . Consultado el 15 de octubre de 2022 .
  7. ^ "Premio ALP Alain Colmerauer". Asociación para la Programación Lógica . Consultado el 5 de julio de 2024 .

enlaces externos