PDT Properties prolog/logicmoo_user.pl|