Bool ReadProlog(char * buffer)
Reads a Prolog database from the given string buffer, returning TRUE if successful.