Citation
Stickel, M. E. (1984). A Prolog technology theorem prover. New generation computing, 2(4), 371-383.
An extension of Prolog, based on the model elimination theorem-proving procedure, would permit production of a logically complete Prolog technology theorem prover capable of performing inference operations at a rate approaching that of Prolog itself.
By recycling carbon dioxide into methanol, this science supports U.S. climate goals and helps reduce greenhouse gases.
SRI is spearheading a way for autonomous systems, such as self-driving vehicles and drones, to effectively operate in evolving and adversarial environments such as war zones.
The U.S. Department of Education issues a third five-year cooperative agreement to SRI to lead The DaSy Center.