scasp_input:sasp

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.