Tutorial on Compilation techniques for Logics