|start | find | index | login or register | edit|
by earl, 5266 days agoBased 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.
4 active users
|earl.strain.at • esa3 • online for 6770 days • c'est un vanilla site|