search

G3Kappa / Ergo

Other
4 stars 0 forks source link

Directives should take multiple arguments and the parentheses should be omitted #93

Open G3Kappa opened 1 week ago

G3Kappa commented 1 week ago

Some directives need to be repeated for each of their arguments, when they could take a list of arguments instead.

e.g.

:- inline(pred_a).
:- inline(pred_b).

should be

:- inline(pred_a, pred_b)

or

:- inline([pred_a, pred_b])

TODO: Make a list of directives that need to be changed and analyze it

G3Kappa commented 1 week ago

Additionally, directives are basically just complex terms right now, but in ISO Prolog they do away with the parentheses:

:- inline pred_a, pred_b.

would be the ideal form