Decompilation of Java bytecode to Prolog by partial evaluation
Keywords: برنامه ریزی منطقی; Program transformation; Partial evaluation; Decompilation; Interpreters; Java bytecode; Logic programming