start | find | index | login or register | edit
Robert Kowalski
by earl, 5947 days ago
Based on Alan Robinson's resolution mechanism, Kowalski together with [create Dieter K├╝hner] developed SL-Resolution in 1971 while at the University of Edinburgh. SL-Resolution was an important ingredient in the invention of Prolog.

powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 7451 days • c'est un vanilla site