University work for systems for knowledge representation and reasoning, developed in PROLOG