Adds metadata + field name support

maurer / holmes

Datalog engine with extensions for integrating analyses

MIT License

38 stars 4 forks source link

Adds metadata + field name support #31

Closed maurer closed 7 years ago

maurer commented 7 years ago

Allow fields in predicates to be named, rules to match by field name in addition to slot number, and documentation to be attached to both fields and predicates.

Closes #23