https://franz.com/
Franz Inc. is an early innovator in Artificial Intelligence (AI) and leading supplier of Semantic Graph Database technology (AllegroGraph) with expert...
knowledge graphcommon lispfranzincsolutions
https://mdhughes.tech/2022/04/18/a-schemer-in-common-lisp-land/
I got my Land of Lisp tshirt (shop is now closed), and thought for my weekend goof-off I'd read thru the book again and try actually using the Common Lisp...
common lispschemerlandmarkwrites
https://link.springer.com/chapter/10.1007/978-3-540-73086-6_1?error=cookies_not_supported&code=b405541c-eb80-410d-a10b-01f4f838fb59
In this paper, an approach to integrate an already-written Common Lisp program for algebraic manipulation with ACL2 proofs of properties of that program is...
common lispspringer natureexecutingproving