Fellow
United States – 2000
CITATION

David Warren is a world leader in logic-programming research, past-president of the Association for Logic Programming, and implementor of the SBProlog and XSB systems.