I believe the process is called High Level Format.
Answer:
bbbbbbbbbbbbbbbbbbbbbbbb
Explanation:
bbbbbbbbbbbbbbbbbbbbbbbbb
Answer:
A practical example is this definition of the square of a number, intended to be a function predicate: square(X,Y) :- Y is X * X.
Explanation: