Balrog slayer, in fiction

• Friend of Frodo
• Ian McKellen's role in "The Lord of the Rings" movies
• Tolkien character
• Tolkien wizard
• Wizard role turned down by Connery
• Fan glad to be disguised as Tolkien’s wizard
• Wizard who said the quote formed by the starred answers' first words

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 ...