Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.
$ z3 sat.smt2 ADVERTENCIA: se está creando una tabla grande de tamaño 16777216 para la relación match1 El archivo sat.smt sin procesar: ; (set-option :fixedpoint.engine datalog) ; sorts (define-sort s () (_ BitVec 24)) (define-sort t () (_ BitVec 8)) ; Relaciones (declare-rel f (t s s)) (declare-rel match1 (t . . . Read more
Probado en datascript 1.3.0 datoms: [{:db/id -1 :name “Smith” :firstname “Oliver” :age 20} {:db/id -2 :name “Jones” :firstname “Oliver” :age 20} {:db/id -3 :name “Smith” :firstname “Amelia” :age 16} {:db/id -4 :name “Jones” :firstname “Amelia” :age 16}] Intenté consultar con predicados lógicos y a continuación, quienes se llaman Smith y . . . Read more