로직 프로그래밍 연결
Association for Logic Programming |
논리 프로그래밍 협회(ALP)는 1986년에 설립되었다.그것의 임무는 "논리 프로그래밍의 발전에 기여하고, 그것을 다른 공식적 그리고 인문과학과 연관시키고, 그것의 사용을 전 세계의 학계와 산업에서 촉진하는 것"이다.로직 프로그래밍에 관한 국제회의를 관리하고, [1][2]캠브리지 대학 출판사에서 발행하는 로직프로그래밍(TPLP)[3] 저널을 감독하며, 전자 뉴스레터를 발행한다.
협회의 활동은 집행 위원회와 ALP 회원들이 선출한 회장이 지휘한다.현 총장은 비엔나 공대의 토마스 에이터다.[4]그 전 대통령들이 키스 클라크 임페리얼 칼리지 런던에서 1986년부터 1990년까지, Herve의 Gallaire를 뮌헨에서의 유럽 Computer-Industry 연구 센터[드]에서 1990년부터 1993년까지, 데이비드 스콧 워렌 스토니 브룩에서 1993년에서 1997년까지, 크시슈토프 아파트 센터 Wiskunde 및에서 Informatica 암스테르담에서 1997년부터 2001년까지, 베로니카 달 시몬 버섯에서.ase2001년부터 2004년까지 r대학, 2004년부터 2010년까지 마드리드 공과대학의 마누엘 에르메네길도, 텍사스 대학교의 고팔 굽타, 2010년부터 2014년까지 달라스, 2014년부터 2020년까지 포츠담 대학교의 토르스텐 샤우브.
1997년, ALP는 15명의 로직 프로그래밍 분야의 공인 연구원들에게 로직 프로그래밍의 창시자라는 타이틀을 부여하여 그들을 그 분야의 선구자로 인정하였다.[5]
- 모리스 브루니누게 (벨기에)
- 자크 코언(미국)
- 알랭 콜메라워 (프랑스)
- 키스 클라크(영국)
- 베로니카 달 (캐나다/아르헨티나)
- 마아텐 판 엠덴 (캐나다)
- 에르베 갈레르 (프랑스)
- 로버트 코왈스키(영국)
- 잭 밍커(미국)
- 페르난도 페레이라(미국)
- 루이스 모니즈 페레이라 (포르투갈)
- 레이 반복 (캐나다)
- J. 앨런 로빈슨 (미국)
- 피터 스제레디 (헝가리 주)
- 데이비드 H. D. 워런(영국)
