理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Conway puzzle
- Conway sequence
- Conway skein equivalence
- Conway skein triple
- Conway-Smith graph
- Conway soldiers
- Conway sphere
- Conway triangle notation
- co-occurrence
- cooccurrence
- co-occurrence analysis
- Cook crater
- cooked
- cooked ham
- Cooke lens
- Cooke method
- Cooke triplet
- cookie
- cookie cutter dynamical system
- cookie cutter mapping
- cookie-cutter problem
- cookie cutter set
- Cookie hijacking
- Cookie劫持
- cooking