--- /dev/null
+
+
+open Mathql_semantics;;
+open MathQL;;
+
+(* stampa tutti i documenti che fanno match con un pattern di input *)
+List.iter
+ (function atturi -> print_endline ("output: " ^ atturi))
+ (match Mqint.execute
+ (MQList
+ (MQUse
+ (MQPattern
+ (
+ Some "cic",
+ [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD; MQBC"NEG_anti_convert.con"],
+ (* [MQBSS; MQBC ".con"],*)
+ []
+ ),
+ "pippo")
+ )
+ ) with MQRefs l -> l
+ );
+
+
+
+;;
+