def process_input():
request = input("Please enter instruction: (X to exit)\n").upper()
if request == "X":
print("Exiting program.")
return False
if request != '':
line_type, line = Parser.single_line(request)
if line_type == config.query_type:
queries = Translator.literalize(line)
for query in queries:
if config.verbose:
query.solve()
else:
print(query.solve())
elif line_type == config.fact_type:
facts = Translator.literalize(line)
for fact in facts:
if fact.val == False and fact.locked == True:
fact.locked = False
fact.wipe()
fact.secure(True)
elif request == '.':
Literal.display_all_info()
elif request == '!':
Literal.display_all_info_solve()
elif request == 'V':
config.verbose = not config.verbose
print("Verbose is now {}".format(config.verbose))
else:
print('Try again.')
else:
print('Try again.')
return True
