Syntax for neck-cut - Githubissues

LPCIC / elpi

Embeddable Lambda Prolog Interpreter

GNU Lesser General Public License v2.1

283 stars 35 forks source link

Open gares opened 7 years ago

gares commented 7 years ago

It is so common to write

foo X :- !, bla.

or even

foo X :- !.

especially in hypothetical clauses that a dedicated syntax is desirable.

gares commented 6 years ago

An interesting approach is to provide an ML like syntax transpiled to elpi: https://github.com/voodoos/mlts/