理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Jerome Robbins's Broadway
- Jerome Seymour Bruner
- Jeromo Marojama Razanabahiny
- Jerrard
- Jerrard theorem
- Jerrold Katz
- Jerry Goldsmith
- Jerry John Rawlings
- Jerry Lee Rice
- Jerry Uelsmann
- JERS-1
- Jersey
- Jersey City
- Jerusalem artichoke
- Jerusalem International Book Fair
- Jerusalem International Book Forum
- Jerusalem Prize
- Jerusalem Talmud
- Jerusalem: The Emanation of the Giant Albion
- Jerzy Bossak
- Jerzy Grotowski
- Jerzy Kuryłowicz
- Jerzy Lutowski
- Jerzy Neyman
- Jerzy Putrament