225:) 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.
453:
40:
The activities of the
Association are directed by an Executive Committee and President, elected by ALP members. The current president is Thomas Eiter. Here is a list of all presidents:
30:
448:
443:
342:
138:
97:
150:
116:
67:
55:
45:
77:
292:
71:
29:
and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the
271:
267:
368:
120:
87:
61:
183:
317:
204:
195:
22:
144:
93:
126:
In 1997, the ALP bestowed to fifteen recognized researchers in logic programming the title
168:
26:
394:
437:
427:
156:
83:
242:
174:
109:
1989-1992 Herve' Gallaire at the
European Computer-Industry Research Center in
21:(ALP) was founded in 1986. Its mission is "to contribute to the development of
189:
101:
110:
422:
318:"EDITORIAL, Vol 33, DEC 2020 – Association for Logic Programming"
454:Computer science-related professional associations
37:(TPLP), and publishes an electronic newsletter.
31:International Conference on Logic Programming
8:
130:to recognize them as pioneers in the field.
106:1993-1996 David Scott Warren at Stony Brook
268:"Theory and Practice of Logic Programming"
219:ALP Alain Colmerauer Prolog Heritage Prize
428:Theory and Practice of Logic Programming
35:Theory and Practice of Logic Programming
423:Association for Logic Programming (ALP)
234:
76:2005-2009 Manuel Hermenegildo at the
19:The Association for Logic Programming
7:
98:Centrum Wiskunde & Informatica
14:
449:Organizations established in 1986
399:Association for Logic Programming
373:Association for Logic Programming
347:Association for Logic Programming
322:Association for Logic Programming
297:Association for Logic Programming
247:Association for Logic Programming
395:"The ALP Alain Colmerauer Prize"
60:2014-2019 Torsten Schaub at the
56:Vienna University of Technology
46:Vienna University of Technology
444:Computer science organizations
213:The ALP Alain Colmerauer Prize
78:Technical University of Madrid
1:
128:Founders of Logic Programming
135:Maurice Bruynooghe (Belgium)
72:University of Texas, Dallas
470:
272:Cambridge University Press
162:Maarten van Emden (Canada)
201:Peter Szeredi (Hungary)
165:Hervé Gallaire (France)
121:Imperial College London
88:Simon Fraser University
50:2019-2020 Thomas Eiter
33:, oversees the journal
223:Alain Colmerauer Prize
44:2020- Thomas Eiter at
180:Fernando Pereira (US)
62:University of Potsdam
25:, relate it to other
343:"ALP EC Elections"
243:"ICLP Conferences"
205:David H. D. Warren
184:Luís Moniz Pereira
159:(Canada/Argentina)
23:Logic Programming
461:
410:
409:
407:
405:
391:
385:
384:
382:
380:
365:
359:
358:
356:
354:
339:
333:
332:
330:
328:
314:
308:
307:
305:
303:
293:"ALP Newsletter"
289:
283:
282:
280:
278:
264:
258:
257:
255:
253:
239:
196:J. Alan Robinson
145:Alain Colmerauer
94:Krzysztof R. Apt
469:
468:
464:
463:
462:
460:
459:
458:
434:
433:
419:
414:
413:
403:
401:
393:
392:
388:
378:
376:
367:
366:
362:
352:
350:
341:
340:
336:
326:
324:
316:
315:
311:
301:
299:
291:
290:
286:
276:
274:
266:
265:
261:
251:
249:
241:
240:
236:
231:
221:(in short: the
215:
210:
169:Robert Kowalski
12:
11:
5:
467:
465:
457:
456:
451:
446:
436:
435:
432:
431:
425:
418:
417:External links
415:
412:
411:
386:
360:
334:
309:
284:
259:
233:
232:
230:
227:
214:
211:
209:
208:
202:
199:
193:
187:
181:
178:
172:
166:
163:
160:
154:
148:
142:
136:
132:
124:
123:
113:
107:
104:
90:
80:
74:
64:
58:
48:
13:
10:
9:
6:
4:
3:
2:
466:
455:
452:
450:
447:
445:
442:
441:
439:
429:
426:
424:
421:
420:
416:
400:
396:
390:
387:
374:
370:
364:
361:
348:
344:
338:
335:
323:
319:
313:
310:
298:
294:
288:
285:
273:
269:
263:
260:
248:
244:
238:
235:
228:
226:
224:
220:
212:
206:
203:
200:
197:
194:
191:
188:
185:
182:
179:
176:
173:
170:
167:
164:
161:
158:
157:Veronica Dahl
155:
152:
149:
146:
143:
140:
139:Jacques Cohen
137:
134:
133:
131:
129:
122:
118:
114:
112:
108:
105:
103:
99:
95:
91:
89:
85:
84:Veronica Dahl
81:
79:
75:
73:
69:
65:
63:
59:
57:
53:
49:
47:
43:
42:
41:
38:
36:
32:
28:
24:
20:
16:
402:. Retrieved
398:
389:
377:. Retrieved
372:
369:"ALP Awards"
363:
351:. Retrieved
346:
337:
325:. Retrieved
321:
312:
300:. Retrieved
296:
287:
275:. Retrieved
262:
250:. Retrieved
246:
237:
222:
218:
216:
127:
125:
51:
39:
34:
18:
17:
15:
175:Jack Minker
151:Keith Clark
117:Keith Clark
68:Gopal Gupta
438:Categories
379:15 October
353:16 October
327:15 October
302:15 October
277:15 October
252:15 October
229:References
190:Ray Reiter
186:(Portugal)
115:1986-1988
92:1997-2000
82:2001-2004
66:2010-2014
102:Amsterdam
52:pro term
192:(Canada)
147:(France)
430:journal
70:at the
404:5 July
375:. 1997
349:. 1997
111:Munich
27:formal
406:2024
381:2022
355:2022
329:2022
304:2022
279:2022
254:2022
217:The
207:(UK)
198:(US)
177:(US)
171:(UK)
153:(UK)
141:(US)
119:at
100:in
96:at
86:at
54:at
440::
397:.
371:.
345:.
320:.
295:.
270:.
245:.
408:.
383:.
357:.
331:.
306:.
281:.
256:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.