Did you know ... Search Documentation:
Pack smtlib -- prolog/smtlib.pl
PublicShow source