?- help.

Help is available for the following builtins:

!/0          assert/1     call/1       consult/1    div/2    
eq/2         fail/0       ge/2         gt/2         halt/1   
if/3         is/2         le/2         listing/0    listing/1
lt/2         minus/2      mod/2        mult/2       ne/2     
nl/0         not/1        notrace/0    once/1       or/2     
plus/2       pow/2        print/1      println/1    retract/1
trace/0      true/0       var/1        write/1      writeln/1

help 

Yes
?-