Because mathematical logic has a long tradition of distinguishing between object language and metalanguage, logic programming also allows metalevel programming.
Јер, математичка логика има дугу традицију разликовања између објектног језика и метајезика, логичко програмирање такође омогућава програмирање на метанивоу.