Alan Robinson
British logician
Learn about this topic in these articles:
resolution
- In artificial intelligence programming language
…Illinois by the British logician Alan Robinson. PROLOG can determine whether or not a given statement follows logically from other given statements. For example, given the statements “All logicians are rational” and “Robinson is a logician,” a PROLOG program responds in the affirmative to the query “Robinson is rational?” PROLOG…
Read More