Search for crossword answers and clues
"The Lord of the Rings" wizard
Answer for the clue ""The Lord of the Rings" wizard ", 7 letters:
gandalf
Alternative clues for the word gandalf
Word definitions for gandalf in dictionaries
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 ...