Artificial Intelligence Laboratory: CLIPS and PROLOG projects