Vadalog

MaRDI QIDQ44804swMATHFDO

Official website https://arxiv.org/abs/1807.08709

Cited in

(23)

• Modular materialisation of Datalog programs
• Enhancing DLV for large-scale reasoning
• DLV
• DELORES
• Fuzzydl
• PROLEG
• LUBM
• Figaro
• Datalog
• MayBMS
• Lixto
• cplint
• Dyna
• Graal
• Yedalog
• EmptyHeaded
• Naiad
• SociaLite
• iBench
• RDFox
• Modern Datalog Engines
• Flix
• Adding Metalogic Features to Knowledge Representation Languages*

This page was built for software: Vadalog