Jump to content

英文维基 | 中文维基 | 日文维基 | 草榴社区

Association for Logic Programming

From Wikipedia, the free encyclopedia

The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of Logic Programming, relate it to other formal and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the International Conference on Logic Programming,[1] oversees the journal Theory and Practice of Logic Programming (TPLP),[2] and publishes an electronic newsletter.[3]

The activities of the Association are directed by an Executive Committee and President, elected by ALP members. The current president is Enrico Pontelli.[4] Here is a list of all presidents:[5]

In 1997, the ALP bestowed to fifteen recognized researchers in logic programming the title Founders of Logic Programming to recognize them as pioneers in the field.[6]

The ALP Alain Colmerauer Prize

[edit]

The ALP Alain Colmerauer Prolog Heritage Prize (in short: the Alain Colmerauer Prize)[7] is organized by the ALP. The Prize is given for recent accomplishments and practical advances in Prolog-inspired computing, understood in a broad sense, where foundational, technological, and practical contributions are eligible with proven evidence or potential for the future development of Logic Programming.

References

[edit]
  1. ^ "ICLP Conferences". Association for Logic Programming. Retrieved 15 October 2022.
  2. ^ "Theory and Practice of Logic Programming". Cambridge University Press. Retrieved 15 October 2022.
  3. ^ "ALP Newsletter". Association for Logic Programming. Retrieved 15 October 2022.
  4. ^ "Newsletter, August 29, 2024, The Association for Logic Programming". Association for Logic Programming. Retrieved 22 September 2024.
  5. ^ "ALP EC Elections". Association for Logic Programming. 1997. Retrieved 16 October 2022.
  6. ^ "ALP Awards". Association for Logic Programming. 1997. Retrieved 15 October 2022.
  7. ^ "The ALP Alain Colmerauer Prize". Association for Logic Programming. Retrieved 5 July 2024.
[edit]