David Warren

Digital Library

ACM Fellows

USA - 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.