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

  • prolog
    • scasp
      • embed.pl -- Embed sCASP programs in Prolog sources
      • ops.pl
      • input.pl -- Read SASP source code
        • load_source_files/1
        • scasp_load_terms/2
        • sasp_read/2
      • common.pl -- Common predicates used in multiple files
      • program.pl -- Input program access
      • 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
 scasp_load_terms(+Terms, +Options)
Perform the load_source_files/1 preparation step from a list of Prolog terms.