References in periodicals archive ?
Many Prolog systems are also unsound, omitting the occurs check or treating negation unsoundly. Despite these serious flaws in Prolog's claim to be a logic programming language, it remains the most widely used logic language.
JOHN HIGGINS slept unsoundly in his bed last night after a 12th century haunted hotel put the wind up the worried world champion.
The import records of sites that do not promptly acknowledge a ping are unsoundly deleted.