adding a test for verifying querying variables bound to all Prolog data types. Also added a test for basic testing of Prolog operators.