search

maurer / holmes

Datalog engine with extensions for integrating analyses
MIT License
38 stars 4 forks source link

Inference Structure Tracking #24

Open maurer opened 7 years ago

maurer commented 7 years ago

Record which rule, matched on which facts, is being used to generate each output fact. This record should contain redundant entries. This is intended as prerequisite work for circumscription.