Category:逻辑编程

逻辑编程 是研究用计算机程序来实现逻辑。

子分类

本分类有以下2个子分类，共有2个子分类。

L

邏輯編程語言 (1个分类， 5个页面)

合

合一 (2个页面)

分类“逻辑编程”中的页面

以下5个页面属于本分类，共5个页面。

C

Cut (逻辑编程)

函

函数式逻辑编程

合

合一

守

守卫命令语言

归

归纳编程

检索自“https://zh.wikipedia.org/w/index.php?title=Category:逻辑编程&oldid=59356752”