Brand: Lab 12
True statements are represented by the keyword "true" in Prolog. In LAB 12 of your learning program, you may encounter true statements in the form of logical goals that are satisfied by the Prolog interpreter. For example:```prolog?- true.true.?- false.false.?- 1=1.true.?- 1=2.false.```In the first example, the statement `true` is entered as a query, and the Prolog interpreter responds with `true`. This is because `true` is its own predicate, requiring no arguments or conditions to hold true.In the second example, the statement `false` is entered as a query, which returns a failure message. This is because `false` is not its own predicate, and therefore cannot be satisfied by the interpreter.In the third and fourth examples, two arithmetic goals are entered as queries, showing how true (or false) may be determined by the satisfaction of such goals.In general, true statements in Prolog are represented explicitly using the keyword `true` or implicitly by meeting a set of conditions for logical satisfaction.