Because mathematical logic has a long tradition of distinguishing between object language and metalanguage, logic programming also allows metalevel programming.
Оскільки математична логіка має давню традицію розрізнення між мовою об'єктів і метамовою, логічне програмування також дозволяє метарівнене програмування .