理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Laplace vector
- Laplacian
- Laplacian comparison theorem
- Laplacian determinant
- Laplacian eigenmaps
- Laplacian equation
- Laplacian expansion
- Laplacian matrix
- Laplacian operator
- Laplacian plane
- Laplacian spectrum
- Laplacian surface
- Lapland
- La Plata Observatory
- lap number
- Lappajärvi crater
- lappa seed oil
- lapping
- lapping cloth
- lapping face seal
- lapping machine
- lapping mouthparts
- Lappo-Danilevskiǐ
- lap-print
- Lapps