Neurosymbolic Repo-level Code Localization: LLM과 Datalog를 결합한 코드 위치 탐색

# LogicLoc 스타일: Python AST → Datalog facts → LLM 쿼리 생성 → Soufflé 실행

import ast, subprocess, textwrap

# 1. Program facts 추출 (함수 정의)
def extract_function_facts(filepath: str) -> list[str]:
    facts = []
    with open(filepath) as f:
        tree = ast.parse(f.read())
    for node in ast.walk(tree):
        if isinstance(node, ast.FunctionDef):
            param_count = len(node.args.args)
            containing_class = "module_level"
            for parent in ast.walk(tree):
                if isinstance(parent, ast.ClassDef):
                    if node in ast.walk(parent):
                        containing_class = parent.name
            facts.append(
                f'function_definition("{filepath}", "{node.name}", '
                f'{node.lineno}, {node.end_lineno}, {param_count}, '
                f'"false", "{containing_class}").'
            )
    return facts

# 2. LLM에게 Datalog 쿼리 생성 요청 (프롬프트 예시)
system_prompt = """
You are a Datalog query generator for code analysis.
Available EDB predicates:
  function_definition(file_path, function_name, start_line, end_line, param_count, is_async, containing_class)
  class_definition(file_path, class_name, start_line, end_line, base_class)
  function_call(caller_file, caller_name, callee_name, call_line)

Generate a Soufflé Datalog program to answer the query.
Always declare output with .output directive.
"""

user_query = "Find all functions with more than 15 parameters that are not __init__ methods"

# 3. 생성된 Datalog 프로그램 예시
datalog_program = textwrap.dedent("""
    .decl function_definition(file_path:symbol, function_name:symbol,
        start_line:number, end_line:number, param_count:number,
        is_async:symbol, containing_class:symbol)
    .input function_definition

    .decl LargeFunctions(file_path:symbol, function_name:symbol,
        start_line:number, param_count:number)

    LargeFunctions(fp, fn, sl, pc) :-
        function_definition(fp, fn, sl, _, pc, _, _),
        pc > 15,
        fn != "__init__".

    .output LargeFunctions
""")

# 4. Soufflé로 실행
# subprocess.run(["souffle", "-F", "facts/", "-D", "output/", "query.dl"])
print("Datalog 프로그램 생성 완료. Soufflé로 실행하세요.")
print(datalog_program)