pub fn derive(&self, query: &Vec<Clause>) -> Result<Vec<Vec<Value>>> {
        let outs = self.fact_db.search_facts(query, None)?;
        let res = outs.into_iter().map(|x| x.1).collect();
        Ok(res)
    }
/// Given a query (similar to the rhs of a rule in Datalog), provide the set
/// of satisfying answers in the database.
Given a query (similar to the rhs of a rule in Datalog), provide the set
of satisfying answers in the database.
Given a query ( similar to the rhs of a rule in Datalog ) provide the set of satisfying answers in the database .
pub fn derive(&self, query: &Vec<Clause>) -> Result<Vec<Vec<Value>>> {
        let outs = self.fact_db.search_facts(query, None)?;
        let res = outs.into_iter().map(|x| x.1).collect();
        Ok(res)
    }
pub fn derive ( & self , query : & Vec < Clause > ) -> Result < Vec < Vec < Value > > > { let outs = self . fact_db . search_facts ( query , None ) ? ; let res = outs . into_iter ( ) . map ( | x | x . 1 ) . collect ( ) ; Ok ( res ) }
Given a query (similar to the rhs of a rule in Datalog), provide the set
of satisfying answers in the database.
Given a query ( similar to the rhs of a rule in Datalog ) provide the set of satisfying answers in the database .
&self
query
&Vec<Clause>
&self
query
&Vec<Clause>