def load_facts(filepath) -> List: _clauses = [] with open(filepath, "r+") as file: for line in file.read().splitlines(): if line.startswith("#") or not line.strip(): continue _clauses.extend(Clause.parse_to_clauses(line.strip())) return _clauses
def parseCommand(line: str): parts = line.strip().rsplit(maxsplit=1) if len(parts) != 2: raise ValueError( 'Given command "{}" is not of valid format.'.format(line)) command = parts[1] clauses = Clause.parse_to_clauses(parts[0]) if len(clauses) != 1: raise ValueError("Given command clause must be in CNF!") return tuple([clauses.pop(), command])