% File: proc.p
%       version 1.01

loop :- 
  read(X),
  X \== 'quit',
  write(X),
  (
    dictionary(X,Pos,_), write(' is a(n) '), write(Pos), write('.'), nl;
    write(' is not in the dictionary.'), nl
  ),
  nl,
  loop.

loop.