Do not trace concat in prolog

This commit is contained in:
Davide Depau 2022-12-09 23:33:43 +01:00
parent 865ba8c3d6
commit ac457c4359

View file

@ -1,3 +1,5 @@
#!/usr/bin/env python3
import re
import sys
from typing import List
@ -21,7 +23,7 @@ def find_functors(prolog_source) -> List[str]:
# Remove duplicates
functors = list(set(functors))
return functors
@ -43,6 +45,9 @@ def main():
# Find all functors
functors = find_functors(prolog_source)
if "concat" in functors:
functors.remove("concat")
# Output a trace command for each functor
print("trace(" + "), trace(".join(functors) + ").")