Major Section: PROGRAMMING
General form: (getprop symb key default world-name world-alist)
See books/misc/getprop.lisp for an example that illustrates the use
of ACL2 utilities getprop and putprop to take advantage of
under-the-hood Lisp (hashed) property lists.