PL based language compilator using Prolog