Spelling verification in prolog

Abstract
In this paper we present a spelling verification program written in Prolog. This program performs simple table lookup for each word in an input list. If the current word fails to match with the lexical entries, several procedures are invoked which will attempt to identify the type of spelling error and suggest alternative spellings.