理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Railroad Revitalization and Regulatory Reform Act (U.S.)
- railroad track problem
- rail/sleeper laying and replacing machinery
- rail transit
- rail transit engineering survey
- rail transit safety
- rail transit station public area
- rail transit vehicles
- rail transport vehicle
- rail-type missile launcher
- railway accident injury
- railway alignment
- railway automatic fare collection system
- railway auto-transformer power supply
- railway big data platform
- railway box car
- railway bridge
- railway bridge deck facilities
- railway bridge maintenance
- railway car load shipment
- railway carrying-capacity
- railway centralized signalling monitoring system
- railway clock synchronization network
- railway communication
- railway communication line