Editing Logic programming (section)

==External links==
{{Commons category}}
*[https://web.archive.org/web/20050828194751/http://vl.fmnet.info/logic-prog/ ''Logic Programming'' Virtual Library entry]
*[http://liinwww.ira.uka.de/bibliography/LogicProgramming/ Bibliographies on Logic Programming] {{Webarchive|url=https://web.archive.org/web/20081204113711/http://liinwww.ira.uka.de/bibliography/LogicProgramming/ |date=2008-12-04 }}
*[http://www.logicprogramming.org/ Association for Logic Programming (ALP)]
*''[http://www.cs.kuleuven.be/~dtai/projects/ALP/TPLP/ Theory and Practice of Logic Programming]'' (journal)
*[https://web.archive.org/web/20090108012954/http://www.mpprogramming.com/Cpp/ Logic programming in C++ with Castor]
*{{usurped|[http://www.mozart-oz.org/documentation/tutorial/node12.html Logic programming]}} {{Webarchive|url=https://web.archive.org/web/20110903022204/http://www.mozart-oz.org/documentation/tutorial/node12.html |date=2011-09-03 }} in [[Oz programming language|Oz]]
*[http://www.pdc.dk/ Prolog Development Center ]
*[http://docs.racket-lang.org/racklog/ Racklog: Logic Programming in Racket]

{{Programming paradigms navbox}}
{{Types of programming languages}}

{{Authority control}}

[[Category:Logic programming| ]]
[[Category:Computer-related introductions in 1972]]
[[Category:Programming paradigms]]
[[Category:Logic]]