Assertion: lisp | /r/ObjectUse | used in the acl2 logic system
Facets:
Source sentences:
text: Lisp was used in seminal artificial intelligence projects like the SHRDLU natural language program, the Macsyma algebra system, and the ACL2 logic system.