acl2

#bookstodon #bookReview #knowledgeRepresentation actually a chapter review.

My notes after Chapter 1: Classical Logic of The Handbook of Knowledge Representation.

https://screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/

#lisp #acl2 #prolog #logic

Play Static Games, Win Static Prizes https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/
#staticTyping #typechecking #staticProgramAnalysis #commonLisp #lisp #sbcl #series #acl2

In which I look at modern and to some extent historical static program analysis popularly used with common lisp #programming.

I accidentally make the really good point that even if #sbcl is not your deployment target, you can still use its static type checking, for which I work an example.

#lazyEvaluation and formal theorems are also included.

ALT