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])
