Computational logic

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Logic_programming/Xgh8lj3F">Logic programming</a></li>
<li><a href="/facts/Automated_theorem_proving/vKGvuKFI">Automated theorem proving</a></li>
<li><a href="/facts/Type_theory/xj0xzVqI">Type theory</a></li>
<li><a href="/facts/Formal_verification/BYD4GnJR">Formal verification</a></li></ul>

<h2 id="further-reading">Further reading</h2>
<ul><li><a href="/facts/Dov_M._Gabbay/eXBxVUVq">Dov M. Gabbay</a>; Jörg H. Siekmann; John Woods, eds. (2014). <i>Handbook of the History of Logic</i>. Vol. 9: Computational Logic. Elsevier. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-08-093067-1.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>http://tocl.acm.org official website of ACM Transactions on Computational Logic <a href="http://tocl.acm.org" target="_blank">http://tocl.acm.org</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Robinson, J.A. (1970). "Computational Logic: The Unification Computation". In Meltzer, Bernard; Michie, Donald (eds.). Proceedings of the Sixth Annual Machine Intelligence Workshop. Machine Intelligence. Vol. 6. Edinburgh University Press (published 1971). pp. 63–72. ISBN 085224195X. <a href="085224195X" target="_blank">085224195X</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website <a href="http://homepages.inf.ed.ac.uk/bundy/" target="_blank">http://homepages.inf.ed.ac.uk/bundy/</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
</ol>

Computational logic open-in-new

Computational logic