网页Prolog is a Turing-complete, general-purpose programming language, which is well-suited for intelligent knowledge-processing applications. Syntax and semantics. In Prolog, program logic is expressed in terms of relations, and a computation is initiated by running a query over these relations.