:- dynamic i_am_holding/1. i_am_holding(book). i_am_holding(revolver). :- dynamic lee_is/1. lee_is(happy).