A first order definite clause program is a set of first order definite clauses, these can be represented as their equivalent definite rules.
A first order definite clause program is a set of first order definite clauses, these can be represented as their equivalent definite rules.