منظومه‌های منطقی و کامپایلرها