%0 Journal Article
%T 基于一阶逻辑的推理与运算的合并系统
%A 周青 伍丽华？
%J 计算机科学
%D 2002
%X 1引言　　一直以来,从逻辑系统到算术系统的转换都依赖于人工的描述,没有自动转换系统.例如,逻辑系统中已有以下信息:某班学生中选修数据结构课程的有50人,选修软件工程课程的有40人,两门课程都选修的有25人,求某课程的平均成绩.解决这样的问题,通常需要在逻辑程序设计语言系统中另外编写程序,执行后才能得到解答.……
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1000426223&flag=1