helm/ocaml/mathql_interpreter_galax/test_intersect.ml

   1
   2
   3
   4
   5
   6 open Mathql_semantics;;
   7 open MathQL;;
   8
   9 (* stampa tutti i documenti che fanno match con un pattern di input *)
  10 List.iter
  11  (function atturi -> print_endline ("output: " ^ atturi))
  12   (match Mqint2.execute
  13    (MQList
  14     (MQIntersect
  15      (
  16                  (MQSelect
  17                    (
  18                     (*SELECT*) "uri0",
  19                     (*  IN  *) MQUse
  20                      (MQPattern
  21                       (
  22                         Some "cic",
  23                         [MQBD; MQBC"Algebra"; MQBD; MQBC "Basics"; MQBD; MQBSS],
  24                         []
  25                       ),
  26                      "$s0"
  27                      ),
  28       (*WHERE *)   MQIs
  29                     (
  30                      MQStringSVar "$s0",
  31                      MQConclusion
  32                     )
  33                    )
  34                  ),
  35                  (MQSelect
  36                    (
  37                     (*SELECT*) "uri0",
  38                     (*  IN  *) MQUse
  39                      (MQPattern
  40                       (
  41                         Some "cic",
  42                         [MQBD; MQBC"Algebra"; MQBD; MQBC "Basics"; MQBD; MQBC "max.con"],
  43                         []
  44                       ),
  45                      "$s0"
  46                      ),
  47       (*WHERE *)   MQIs
  48                     (
  49                      MQStringSVar "$s0",
  50                      MQConclusion
  51                     )
  52                    )
  53                  )
  54      )
  55     )
  56    )
  57    with MQRefs l -> l
  58   );
  59
  60 ;;
  61
  62
  63
  64
  65
  66
  67
  68
  69