Complex sentence: Prolog is based on the first-order logic and a formal logic expressed in terms of relations, represented as facts and rules, it is declarative and a computation is initiated by running a query over these relations.
Split into simpler sentences: Prolog is based on the first-order logic and a formal logic expressed in terms of relations, represented as facts and rules. It is declarative and a computation is initiated by running a query over these relations.