Internship code request. Inference engine similar to the prolog language.