listing.pl

 scasp_portray_program(:Options)

Output pretty print of the program + dual rules + nmr-checks. Options:

human(Boolean)

If true, write in human format.

query(Boolean)

Print the query (default true)

user(Boolean)

Print the user program (default true)

duals(Boolean)

Print the duals (default false)

constraints(Boolean)

Print the global constraints (default false)

dcc(Boolean)

Print the DCC rules (default false)

write_program(+Detail)

Set defaults for the above to handle the --code commandline option.

source_module(+Module)

Module used for unqualifying terms, Note that scasp_show/2 prepares a temporary module that is our context module. We want the original module to report to.

code_file(+Name)

Dump code to file Name instead of current output

 filter(+Rules, -UserRules, -DualRules, -NMRChecks) is det[private]

 rules_to_prolog(+Options, +SecRulePairs, -Predicates)[private]

Translate the internal representation into a list of Predicates, each consisting of a list of clauses.

 print_program(+Section, +Rules, ?Printed, +Options)[private]

 scasp_code_section_title(+Section, -Default, -Title)

 rule_eq(+Rule1, +Rule2) is semidet[private]

True when Rule1 and Rule2 belong to the same predicate. Used to add a blank line between two rule sets.

 dual_reverse(A, B) is det[private]

Auxiliary predicate to sort the DUAL rules

 remove_nmr_checks(+NMRChecks0, +UserRules0, -NMRChecks, -UserRules)[private]

 nmr_reverse(+NMRChecks, -RevNNMRChecks)[private]

Auxiliary predicate to sort the NMR checks