start | find | index | login or register | edit | ||
Alan Robinson
by earl, 7112 days ago
In his 1965 article "A Machine-Oriented Logic Based on the Resolution Principle" John Alan Robinson laid an important foundation for a whole branch of automated deduction systems. The original Prolog is essentially a refined automated theorem prover based on Robinson's resolution.See also: Resolution, Unification |
search 3 active users
backlinks (more) recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8616 days • c'est un vanilla site |