AI-NeuralNet-Simple-0.03 $ aiprolog 


Welcome to AI::Prolog v 0.732
Copyright (c) 2005, Curtis "Ovid" Poe.
AI::Prolog comes with ABSOLUTELY NO WARRANTY.  This library is free software;
you can redistribute it and/or modify it under the same terms as Perl itself.

Type '?' for help.

?- help('retract/1') 

retract/1

    Remove facts from the database. You cannot remove rules. This may
    change in the future. See assert(X).

     retract(loves(ovid,java)).

help(retract/1) 

Yes
?- 

##</code><code>##

?- 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
?-