David S Warren
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.
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.