input.pl -- Read SASP source code

This module defines reading sCASP input based on the Prolog parser.

 load_source_files(+Files:list) is det

Given a list of source files, read, tokenize and parse them, merging their output into a single list of statements. Next, call assert_program/1 to process the statements.

Arguments:

Files

- The list of files to load.

 scasp_load_terms(+Terms, +Options)

Perform the load_source_files/1 preparation step from a list of Prolog terms.

 sasp_read(+File, -Statements) is det

Read File into a list of ASP statements. To facilitate using a file both as dynamic and stand-alone file, statements (:- use_module(_)) are ignored.