/swish/pack/sCASP/prolog/scasp/program.pl
AllApplicationManualNameSummaryHelp

  • prolog
    • scasp
      • embed.pl -- Embed sCASP programs in Prolog sources
      • ops.pl
      • input.pl -- Read SASP source code
      • common.pl -- Common predicates used in multiple files
      • program.pl -- Input program access
        • defined_rule/4
        • defined_query/2
        • defined_predicates/1
        • defined_nmr_check/1
        • reserved_prefix/1
        • has_prefix/2
        • replace_prefix/4
        • non_printable/1
        • assert_program/1
        • assert_rule/1
        • assert_nmr_check/1
        • destroy_program/0
      • variables.pl -- Variable storage and access
      • source_ref.pl -- s(CASP) source references
      • compile.pl -- s(ASP) Ungrounded Stable Models Solver
      • predicates.pl -- Basic information about sCASP predicates
      • comp_duals.pl -- Dual rule computation
      • options.pl -- (Command line) option handling for sCASP
      • nmr_check.pl -- Detect OLON rules and construct nmr_check
      • call_graph.pl -- Build the call graph used for NMR check construction and indexing.
      • pr_rules.pl -- Output formatting and printing.
      • modules.pl -- Encode modules
      • solve.pl -- The sCASP solver
      • verbose.pl -- Print goal and stack in Ciao compatible format
      • model.pl -- sCASP model handling
      • output.pl -- Emit sCASP terms
      • stack.pl
      • listing.pl
      • human.pl -- Print s(CASP) output in human language
      • html.pl -- Render s(CASP) justification as HTML
      • html_text.pl -- Switch between HTML and plain text output
      • messages.pl
      • dyncall.pl --
      • swish.pl -- s(CASP) adapter for SWISH
 destroy_program
Remove all asserted predicates to allow multiple funs with different programs.