Wizard who said the quote formed by the starred answers' first words

• Tolkien wizard
• Fan glad to be disguised as Tolkien’s wizard
• He'd wizard circles around that hack Harry Potter, if you ask me
• Visitor at the beginning of "The Hobbit"

Wikipedia Word definitions in Wikipedia
Gandalf is a first-order automated theorem prover applied to several domain-specific tasks such as Semantic web . It has also participated in The CADE ATP System Competition and had impressive results in that competition. It is programmed in the Scheme ...