3 ms·
Why wouldn't that be the case for e.g. LogicT? Prolog is _larger_ than LogicT. It is the additional syntax and runtime system in a custom Prolog implementation
by iso8859-1 6y ago
Why wouldn't that be the case for e.g. LogicT?
Prolog is _larger_ than LogicT. It is the additional syntax and runtime system in a custom Prolog implementation that needs to be defended, not the lack of it!