<commit_before><!DOCTYPE html>

<html>
  <head>
    <title>editor</title>
    <style type="text/css">
      body { padding:0; margin: 0; }
      pre { margin:0; }
      #repl { overflow-y:scroll;  }
      
      .editor, .repl { height:100vh; width:50%; float:left; font-family:courier, monospace;  margin:0; padding: 0; background-color:#fff; border-width:0;}
      .editor { overflow-y:scroll; }
      .repl {  }

      .inputbox { white-space: pre-wrap; display:block; border:1px solid #ccc; min-height:1em; padding:2px 8px; }
      .result { white-space: pre-wrap; background-color: #eee; margin:0; padding: 2px 8px; }
      
      #dump_button {
         font-size:36pt;
         position:absolute; right:50%; margin-right:16px;
         background-color: #eee;
         border: 3px solid #ccc;
         padding:.1em .4em;
         cursor:pointer;
      }
      #dump_button:hover { color:#fff;  }
    </style>
    <script type="text/javascript" src="base.js"></script>
    <script type="text/javascript" src="mk.js"></script>
    <script type="text/javascript" src="eval.js"></script>
    <script type="text/javascript" src="reader.js"></script>
  </head>
  <body>


    <textarea id="editor" class="editor">
(define (membero x l)
 (fresh (head tail)
  (== l `(,head . ,tail))
  (conde
   ((== x head))
   ((membero x tail)))))

(define (appendo x y z)
 (conde
  ((== x '()) (== y z))
  ((fresh (head xtail ytail ztail)
    (== x `(,head . ,xtail))
    (== z `(,head . ,ztail))
    (appendo xtail y ztail)))))

(define (five-six x)
  (conde
    ((== x 5))
    ((== x 6))
    ((five-six x))))
</textarea><commit_msg>add query to example code<commit_after><!DOCTYPE html>

<html>
  <head>
    <title>editor</title>
    <style type="text/css">
      body { padding:0; margin: 0; }
      pre { margin:0; }
      #repl { overflow-y:scroll;  }
      
      .editor, .repl { height:100vh; width:50%; float:left; font-family:courier, monospace;  margin:0; padding: 0; background-color:#fff; border-width:0;}
      .editor { overflow-y:scroll; }
      .repl {  }

      .inputbox { white-space: pre-wrap; display:block; border:1px solid #ccc; min-height:1em; padding:2px 8px; }
      .result { white-space: pre-wrap; background-color: #eee; margin:0; padding: 2px 8px; }
      
      #dump_button {
         font-size:36pt;
         position:absolute; right:50%; margin-right:16px;
         background-color: #eee;
         border: 3px solid #ccc;
         padding:.1em .4em;
         cursor:pointer;
      }
      #dump_button:hover { color:#fff;  }
    </style>
    <script type="text/javascript" src="base.js"></script>
    <script type="text/javascript" src="mk.js"></script>
    <script type="text/javascript" src="eval.js"></script>
    <script type="text/javascript" src="reader.js"></script>
  </head>
  <body>


    <textarea id="editor" class="editor">
(define (membero x l)
 (fresh (head tail)
  (== l `(,head . ,tail))
  (conde
   ((== x head))
   ((membero x tail)))))

(define (appendo x y z)
 (conde
  ((== x '()) (== y z))
  ((fresh (head xtail ytail ztail)
    (== x `(,head . ,xtail))
    (== z `(,head . ,ztail))
    (appendo xtail y ztail)))))

(define (five-six x)
  (conde
    ((== x 5))
    ((== x 6))
    ((five-six x))))

(five-six y)
</textarea>
{'fraction_non_alphanumeric': 0.1912484700122399, 'fraction_numerical': 0.017747858017135864, 'mean_word_length': 2.7445589919816724, 'pattern_counts': {'":': 0, '<': 41, '<?xml version=': 0, '>': 41, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2911614', 'n_tokens_mistral': 1240, 'n_tokens_neox': 1185, 'n_words': 273}