理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Charles Dana’s Maxims
- Charles Dancla
- Charles de Groux
- Charles Denby Jr.
- Charles Despiau
- Charles Dickens
- Charles Dieupart
- Charles Doolittle Walcott
- Charles Dutoit
- Charles Edward Ives
- Charles Edward Lindblom
- Charles Edward Merriam
- Charles Edward Spearman
- Charles Elwood Yeager
- Charles Evans Hughes
- Charles-Ferdinand Ramuz
- Charles Fourier
- Charles Francis Annesley Voysey
- Charles Francis Richter
- Charles-Francois Sturm
- Charles-François Daubigny
- Charles Frederick Worth
- Charles Fritz
- Charles-Frédéric Gerhardt
- Charles Gaetan Duval