What is the knowledge that knowledge based programming is based on?: An analysis