acl2

<p><a href="/tags/bookstodon/" rel="tag">#bookstodon</a> <a href="/tags/bookreview/" rel="tag">#bookReview</a> <a href="/tags/knowledgerepresentation/" rel="tag">#knowledgeRepresentation</a> actually a chapter review. </p><p>My notes after Chapter 1: Classical Logic of The Handbook of Knowledge Representation.</p><p><a href="https://screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/" rel="nofollow" class="ellipsis" title="screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/books/</span><span class="invisible">handbook-of-kr-ch1-logic/</span></a></p><p><a href="/tags/lisp/" rel="tag">#lisp</a> <a href="/tags/acl2/" rel="tag">#acl2</a> <a href="/tags/prolog/" rel="tag">#prolog</a> <a href="/tags/logic/" rel="tag">#logic</a></p>

<p>Play Static Games, Win Static Prizes <a href="https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/" rel="nofollow" class="ellipsis" title="screwlisp.small-web.org/programming/play-static-games-win-static-prizes/"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/progra</span><span class="invisible">mming/play-static-games-win-static-prizes/</span></a><br><a href="/tags/statictyping/" rel="tag">#staticTyping</a> <a href="/tags/typechecking/" rel="tag">#typechecking</a> <a href="/tags/staticprogramanalysis/" rel="tag">#staticProgramAnalysis</a> <a href="/tags/commonlisp/" rel="tag">#commonLisp</a> <a href="/tags/lisp/" rel="tag">#lisp</a> <a href="/tags/sbcl/" rel="tag">#sbcl</a> <a href="/tags/series/" rel="tag">#series</a> <a href="/tags/acl2/" rel="tag">#acl2</a> </p><p>In which I look at modern and to some extent historical static program analysis popularly used with common lisp <a href="/tags/programming/" rel="tag">#programming</a>.</p><p>I accidentally make the really good point that even if <a href="/tags/sbcl/" rel="tag">#sbcl</a> is not your deployment target, you can still use its static type checking, for which I work an example.</p><p><a href="/tags/lazyevaluation/" rel="tag">#lazyEvaluation</a> and formal theorems are also included.</p>