In logic programming, a program consists of a set of axioms and rules.
Trong lập trình logic, một chương trình bao gồm một tập hợp các tiên đề và các luật.