compile.pl -- s(ASP) Ungrounded Stable Models Solver

Read in a normal logic program. Compute dual rules and the NMR check. Execute the modified program according to the stable model semantics and output the results.

author

- Kyle Marple

version

- 20170127

license

- BSD-3

 scasp_load(:Sources, +Options)

Load the files from Sources. Steps taken:

• Parse input and assert in dynamic predicates with program.pl (defined_rule/4, etc,)
• Enrich the program in the same format (comp_duals/0, generate_nmr_check/0).
• Transform into pr rules (generate_pr_rules/1)
• Destroy the program dynamic predicates.

Arguments:

Sources

- A list of paths of input files.

 scasp_compile(:Terms, +Options) is det

Create an sCASP program from Terms.

 scasp_compile_query(:Goal, -Query, +Options) is det

 scasp_query(:Query) is det

True when Query is the (last) sCASP query that is part of the program.

Errors

- existence_error(scasp_query, Module)

 scasp_query(:Query, -Bindings, +Options) is det

True when Query is the s(CASP) query as a list that includes the NMR check if required. Bindings is a list of Name=Var terms expressing the names of the variables.