         
         
         // write the Scheme code containing the miniKanren query to a temp file
-        let query_file_simple = "barliman-query-simple.scm"
-        let query_file_test1 = "barliman-query-test1.scm"
-        let query_file_test2 = "barliman-query-test2.scm"
-        let query_file_test3 = "barliman-query-test3.scm"
-        let query_file_test4 = "barliman-query-test4.scm"
-        let query_file_test5 = "barliman-query-test5.scm"
-        let query_file_test6 = "barliman-query-test6.scm"
-        let query_file_alltests = "barliman-query-alltests.scm"
-        
         let query_simple_for_mondo_scheme_file = "barliman-query-simple-for-mondo-scheme-file.scm"
         
         // files that load query code

                           + out5 + " "
                           + out6 + " "
        
        // adapted from http://stackoverflow.com/questions/26573332/reading-a-short-text-file-to-a-string-in-swift
        let interp_alltests_query_string_part_1: String? = bundle.pathForResource("interp-alltests-query-string-part-1", ofType: "swift", inDirectory: "mk-and-rel-interp")
        let interp_alltests_query_string_part_2: String? = bundle.pathForResource("interp-alltests-query-string-part-2", ofType: "swift", inDirectory: "mk-and-rel-interp")
        
        let alltests_string_part_1 : String
        do
        {
            alltests_string_part_1 = try String(contentsOfFile: interp_alltests_query_string_part_1!)
        }
        catch
        {
            print("!!!!!  LOAD_ERROR -- can't load alltests_string_part_1\n")
            alltests_string_part_1 = ""
        }
        
        let alltests_string_part_2 : String
        do
        {
            alltests_string_part_2 = try String(contentsOfFile: interp_alltests_query_string_part_2!)
        }
        catch
        {
            print("!!!!!  LOAD_ERROR -- can't load alltests_string_part_2\n")
            alltests_string_part_2 = ""
        }

        
        let allTestFuncString = alltests_string_part_1 + "\n" +
        "        (== `( \( definitionText ) ) defn-list)" + "\n" + "\n" +
            alltests_string_part_2 + "\n" +
            "(== `(" +
            definitionText +
            ") defns) (appendo defns `(((lambda x x) " +
            allTestInputs +
            ")) begin-body) (evalo `(begin . ,begin-body) (list " +
            allTestOutputs +
            ")" +
            ")))))" + "\n\n"
        
        let allTestWriteString: String = "(define (write-allTest-ans)" + "\n" +
                                         "  (let ((ans-all (ans-allTests)))" + "\n" +
                                         "    (if (null? ans-all)" + "\n" +
                                         "        (write 'fail)" + "\n" +
                                         "        (begin" + "\n" +
                                         "          (for-each" + "\n" +
                                         "            (lambda (a)" + "\n" +
                                         "              (pretty-print a)" + "\n" +
                                         "              (newline)" + "\n" +
                                         "              (newline))" + "\n" +
                                         "            (caar ans-all))" + "\n" +
                                         "          (unless (null? (cdar ans-all))" + "\n" +
                                         "            (newline)" + "\n" +
                                         "            (display \"Side conditions:\")" + "\n" +
                                         "            (newline)" + "\n" +
                                         "            (for-each" + "\n" +
                                         "              (lambda (a)" + "\n" +
                                         "                (write a)" + "\n" +
                                         "                (newline))" + "\n" +
                                         "              (cdar ans-all)))))))"
        
        let queryAllTests: String = load_mk_vicare_string +
            load_mk_string +
            interp_string + "\n" +
            ";; allTestWriteString" + "\n" +
            allTestFuncString + "\n" +
            allTestWriteString + "\n\n" +
            "(write-allTest-ans)"
        
        print("queryAllTests string:\n \( queryAllTests )\n")

        
        var pathSimple = NSURL()
        var pathTest1 = NSURL()
        var pathTest2 = NSURL()
        var pathTest3 = NSURL()
        var pathTest4 = NSURL()
        var pathTest5 = NSURL()
        var pathTest6 = NSURL()
        var pathAllTests = NSURL()
        
        var pathQuerySimpleForMondoSchemeFile = NSURL()
        var pathMondoScheme = NSURL()

        // write the temporary file containing the query to the user's Document directory.  This seems a bit naughty.  Where is the right place to put this?  In ~/.barliman, perhaps?
        if let dir = NSSearchPathForDirectoriesInDomains(.DocumentDirectory, .AllDomainsMask, true).first {
            
            pathQuerySimpleForMondoSchemeFile = NSURL(fileURLWithPath: dir).URLByAppendingPathComponent(query_simple_for_mondo_scheme_file)!
            
            
