Тъй като математическа логика има традиция за разграничаване на [[Https://en.wikipedia.org/wiki/Object language:Object_language|обектен език]] и метаезик, логическото програмиране също позволява [[Metalevel programming|програмиране на мета ниво]]. Най-простата металогическа програма е така наречената "[[:en:Vanilla_(computing)|vanilla]]" мета-интерпретатор:
<source lang="prolog">
solve(true).
Ред 202:
<references/>
== Външни препратки: ==
* <li>[http://liinwww.ira.uka.de/bibliography/LogicProgramming/ Bibliographies on Logic Programming]</li>
* <li>[http://www.logicprogramming.org/ Association for Logic Programming (ALP)]</li>
* <li>[http://www.mpprogramming.com/Cpp/ Logic programming in C++ with Castor]</li>
* <li>Logic programming in [[:en:Oz_(programming_language)|Oz]]</li>
* <li>[http://www.pdc.com/index-dk.html Prolog Development Center] <li>[http://docs.racket-lang.org/racklog/ Racklog: Logic Programming in Racket]</li>
