- generate_pr_rules(:Sources, +Options)
- Translate the sCASP program from the defined_* predicates into pr_*
predicates for sCASP. It creates clauses for the following
predicates in the target module:
- pr_rule/3
- pr_query/1
- pr_user_predicate/1
- pr_table_predicate/1
- pr_show_predicate/1
- pr_pred_predicate/4.