Search for crossword answers and clues

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