Add support for custom symbol types

advancedresearch / avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax

Apache License 2.0

66 stars 3 forks source link

Add support for custom symbol types #166

Closed bvssvni closed 2 years ago

bvssvni commented 2 years ago

Currently, the symbol type is Arc<String>.

When using Avalog as a background solver, it is beneficial to allow custom symbol types. This can be used to more efficiently convert to and from data used by the foreground solver.