Alan Robinson
by earl, 6943 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
backlinks (more)
recent stores (more)
echo earlZstrainYat|tr ZY @.
