Programming knowledge with common sense