Did you know ... Search Documentation:
Pack logicmoo_utils -- prolog/logicmoo/with_no_x.pl
PublicShow source
 with_no_x(:Goal) is nondet
Using No X.