The LogicBlox system is a commercial , declarative , incremental logic programming language and deductive database inspired by Datalog . The LogiQL programming language extends Datalog with several features, including stratified negation, aggregation, and a module system. LogicBlox has been used to build pointer analyses for Java .[ 1]
On December 3, 2014 Predictix acquired LogicBlox.[ 2] [ 3]
Features
References
Notes
^ Antoniadis, Tony; Triantafyllou, Konstantinos; Smaragdakis, Yannis (2017-06-18). "Porting doop to Soufflé" . Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis . SOAP 2017. New York, NY, USA: Association for Computing Machinery. pp. 25– 30. doi :10.1145/3088515.3088522 . ISBN 978-1-4503-5072-3 S2CID 3074689 . ^ "Predictix Acquires LogicBlox" . mergr.com . Retrieved 2024-06-08 .^ "Infor Acquires Predictix" . finance.yahoo.com . Retrieved 2024-06-08 .^ "6.4. Negation - LogicBlox 3.10 Reference Manual" . developer.logicblox.com . Retrieved 2023-03-04 .Additionally, negation is only allowed when the platform can determine a way to stratify all rules and constraints that use negation. "^ "Chapter 7. Rules - LogicBlox 3.10 Reference Manual" . developer.logicblox.com . Retrieved 2023-03-04 .^ Veldhuizen, Todd L. (2013-12-20). "Leapfrog Triejoin: a worst-case optimal join algorithm". arXiv :1210.0481 cs.DB ]. ^ Aberger, Christopher R.; Tu, Susan; Olukotun, Kunle; Ré, Christopher (May 2016). "Old techniques for new join algorithms: A case study in RDF processing" . 2016 IEEE 32nd International Conference on Data Engineering Workshops (ICDEW) . pp. 97– 102. arXiv :1602.03557 doi :10.1109/ICDEW.2016.7495625 . ISBN 978-1-5090-2109-3 S2CID 10016546 . ^ Zook, David; Pasalic, Emir; Sarna-Starosta, Beata (2009). Gill, Andy; Swift, Terrance (eds.). Typed Datalog Practical Aspects of Declarative Languages . Lecture Notes in Computer Science. Vol. 5418. Berlin, Heidelberg: Springer. pp. 168– 182. doi :10.1007/978-3-540-92995-6_12 . ISBN 978-3-540-92995-6 Our type system has been implemented as a part of the LogicBlox development environment. "^ Singh, Shikha; Madaminov, Sergey; Bender, Michael A.; Ferdman, Michael; Johnson, Ryan; Moseley, Benjamin; Ngo, Hung; Nguyen, Dung; Olesen, Soeren; Stirewalt, Kurt; Washburn, Geoffrey (May 2020). "A Scheduling Approach to Incremental Maintenance of Datalog Programs" . 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS) . pp. 864– 873. doi :10.1109/IPDPS47924.2020.00093 . ISBN 978-1-7281-6876-0 S2CID 216513350 . ^ Köhler, Sven; Ludäscher, Bertram; Smaragdakis, Yannis (2012). Barceló, Pablo; Pichler, Reinhard (eds.). Declarative Datalog Debugging for Mere Mortals Datalog in Academia and Industry . Lecture Notes in Computer Science. Vol. 7494. Berlin, Heidelberg: Springer. pp. 111– 122. doi :10.1007/978-3-642-32925-8_12 . ISBN 978-3-642-32925-8 ^ "Chapter 17. Provenance" . LogicBlox 3.10 Reference Manual . Retrieved 2023-03-11 .
Sources
Green, Todd J.; Aref, Molham; Karvounarakis, Grigoris (2012). Barceló, Pablo; Pichler, Reinhard (eds.). LogicBlox, Platform and Language: A Tutorial Datalog in Academia and Industry . Lecture Notes in Computer Science. Vol. 7494. Berlin, Heidelberg: Springer. pp. 1– 8. doi :10.1007/978-3-642-32925-8_1 . ISBN 978-3-642-32925-8 Aref, Molham; ten Cate, Balder; Green, Todd J.; Kimelfeld, Benny; Olteanu, Dan; Pasalic, Emir; Veldhuizen, Todd L.; Washburn, Geoffrey (2015-05-27). "Design and Implementation of the LogicBlox System" . Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data . SIGMOD '15. New York, NY, USA: Association for Computing Machinery. pp. 1371– 1382. doi :10.1145/2723372.2742796 . ISBN 978-1-4503-2758-9 S2CID 2161070 . Kifer, Michael; Liu, Yanhong Annie (2018-09-19). Declarative Logic Programming: Theory, Systems, and Applications ISBN 978-1-970001-97-6
Further reading
See also
