语义逻辑入门,well,[注：这是一门计算机研究生基础入门课程]Logic programming is a programming paradigm based on formal logic. Programs written in a logical programming language are sets of logical sentences, expressing facts and rules about some problem domain. Together with an inference algorithm, they form a program.