9 def parse_clingo(answerSets, atomsList, two_stageParsing):
10 ClingoParserVisitorImplementation.parse(
11 answerSets, atomsList, two_stageParsing)
14 def parse_dlv(answerSets, atomsList, two_stageParsing):
15 DLVParserVisitorImplementation.parse(
16 answerSets, atomsList, two_stageParsing)
19 def parse_dlv2(answerSets, atomsList, two_stageParsing):
20 DLV2ParserVisitorImplementation.parse(
21 answerSets, atomsList, two_stageParsing)
24 def parse_dlvhex(answerSets, atomsList, two_stageParsing):
25 DLVHEXParserVisitorImplementation.parse(
26 answerSets, atomsList, two_stageParsing)