bookreview

#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