判断题 Programs were developed that could "prove" assertions by manipulating a database of facts in mathematical logic.
【正确答案】 正确
【答案解析】