search

eignnx / rellog

0 stars 0 forks source link

Multi-det Builtins instead of List-based #3

Open eignnx opened 11 months ago

eignnx commented 11 months ago

Once prolog's forall is implemented, these can become just [builtin] and [directive], i.e. multi-deterministic relations.

https://github.com/eignnx/rellog/blob/9c6e43b5bab23d74c0a3a3caafc9030316652466/librellog/src/rt/intrinsics.rs#L779

eignnx commented 11 months ago

see #5