Mantık Programlama Derneği - Association for Logic Programming
Mantık Programlama Derneği (ALP) 1986 Misyonunu kuruldu gelişimine katkıda bulunmak" olduğunu Mantık Programlama , bu hümanist bilimler de diğer resmi ve ilgilidir ve tüm dünyada akademik ve endüstride kendi kullandığı teşvik etmek ". Bu yönetir Mantık Programlama Konulu Uluslararası Konferans , denetleyen Mantık Programlama teori ve pratiği (THKP) dergisinde yayınladığı Cambridge University Press ve elektronik bir bülten yayınlamaktadır.
Derneğin faaliyetleri ALP üyeleri tarafından seçilmiş bir İcra Komitesi ve Başkan tarafından yönlendirilmektedir. Şu anki başkanı olan Torsten Schaub Potsdam Üniversitesi'nde. Önceki başkanlar vardı: Keith Clark Londra Imperial College 1986'dan 1990'a kadar, Herve' Gallaire 1990'dan 1993'e kadar Münih'te ECRC de, David Scott Warren 1993 yılından 1997 yılına kadar Stony Brook, Apt Krzysztof 1997 2001 yılları Amsterdam'daki CWI' ye, Veronica Dahl 2001 ile 2004 yılları arasında Simon Fraser Üniversitesi'nde Manuel Hermenegildo 2010 2004 Madrid Teknik Üniversitesi'nde ve Gopal Gupta Texas Üniversitesi'nde, 2010'dan 2014 Dallas.
1997 yılında ALP başlık programlama mantığı içinde onbeş tanınan araştırmacılara ihsan Mantık Kurucuları Programlama alanında öncülerinden olarak tanımaya.
- Maurice Bruynooghe (Belçika)
- Jacques Cohen (ABD)
- Alain Colmerauer (Fransa)
- Keith Clark (Birleşik Krallık)
- Veronica Dahl (Kanada / Arjantin)
- Maarten van Emden (Kanada)
- Hervé Gallaire (Fransa)
- Robert Kowalski (UK)
- Jack Minker (ABD)
- Fernando Pereira (ABD)
- Luís Moniz Pereira (Portekiz)
- Ray Reiter (Kanada)
- J. Alan Robinson (ABD)
- Peter Szeredi (Macaristan)
- David HD Warren (UK)