English: In 1963, J. Alan Robinson discovered a simple, complete and whole algorithmic methods for logical reasoning that can be easily is performed by digital computers.
Telugu: 1963లో జె. అలెన్ రాబిన్సన్ అంక కంప్యూటర్లలో సులభంగా నిర్వర్తించే తార్కిక మినహాయింపు కోసం ఒక సాధారణ, సంపూర్ణ మరియు సమస్త అల్గోరిథ పద్ధతిని కనుగొన్నాడు.