+++ /dev/null
-
-
-(*
- select uri0
- in use pattern "cic:/Coq/Reals/Rdefinitions/Rlt.con" position $s0
- where $s0 is mainconclusion
-*)
-
-
-
-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 Mqint2.execute
- (MQList
- (MQSelect
- (
- (*SELECT*) "uri0",
- (* IN *) MQUse
- (
- MQPattern
- (
- Some "cic",
- [MQBD; MQBC"Algebra"; MQBD; MQBC "Basics"; MQBD; MQBSS],
- []
- ),
- "$s0"
- ),
- (*WHERE *) MQIs
- (
- MQStringSVar "$s0",
- MQConclusion
- )
- )
-
- )
- )
- with MQRefs l -> l
- );
-
-
-
-;;
-
-
-
-
-
-
-
-
-