A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems. - Fevzi Belli; Ismael Camara; Alfred Schmidt (IEA/AIE (Vol. 2), 1990)