Definition at line 137 of file prolog.cc.
Definition at line 142 of file prolog.cc.
Definition at line 143 of file prolog.cc.
Definition at line 144 of file prolog.cc.