分类:逻辑编程
维基媒体分类
/ 维基百科,自由的
encyclopedia
逻辑编程
是研究用计算机程序来实现逻辑。
本
分类页面
的主条目是“
逻辑编程
”。