PLOGHELP LANGUAGES renamed PLOGHELP * PROLOG_LANGUAGE Oct 1986