current_atom( A) More...

Detailed Description

current_atom( A)

Checks whether A is a currently defined atom It is used to find all currently defined atoms by backtracking

The documentation for this class was generated from the following file: