برنامه‌نویسی منطقی
logic programming
مترجم برنامه
program compiler
ارزیابی جزئی (مترجم)
partial evaluation (compiler)