Editing Logic programming (section)

=== Relationship with relational programming ===
The term ''relational programming'' has been used to cover a variety of programming languages that treat functions as a special case of relations. Some of these languages, such as [[miniKanren]]<ref name=dis />
and relational linear programming<ref>Kersting, K., Mladenov, M. and Tokmakov, P., 2017. Relational linear programming. Artificial Intelligence, 244, pp.188-216.</ref>
are logic programming languages in the sense of this article.

However, the relational language RML is an imperative programming language
<ref>Beyer, D., 2006, May. Relational programming with CrocoPat. In Proceedings of the 28th International Conference on Software engineering (pp. 807-810).</ref> whose core construct is a
relational expression, which is similar to an expression in first-order predicate logic.

Other relational programming languages are based on the relational calculus<ref>{{cite journal |last1=MacLennan |first1=Bruce James |editor1-last=Wexelblat |editor1-first=Richard L. |editor1-link=Richard Wexelblat |title=Overview of relational programming |journal=ACM SIGPLAN Notices |date=March 1983 |volume=18 |issue=3 |pages=36-45 |doi=10.1145/988209.988213 |url=https://dl.acm.org/doi/10.1145/988209.988213 |access-date=8 May 2025 |publisher=Association for Computing Machinery |location=New York, NY |issn=0362-1340 |oclc=25073822|hdl=10945/29034 |hdl-access=free }}</ref> or relational algebra.<ref>Behnke, R., Berghammer, R., Meyer, E. and Schneider, P., 1998. RELVIEW—A system for calculating with relations and relational programming. In Fundamental Approaches to Software Engineering: First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings 1 (pp. 318-321). Springer Berlin Heidelberg.</ref>