Assertion: lisp | /r/ObjectUse | used in the macsyma algebra 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.