4 ms·
You're right, of course. I misremembered. The trouble is that your program can become non-terminating in all but the regular case IIRC. Man it's been 10 years
by adimitrov 8y ago
You're right, of course. I misremembered.
The trouble is that your program can become non-terminating in all but the regular case IIRC. Man it's been 10 years since I've done Prolog, so take what I say with a grain of salt.
- danieldk 8y agoEven in the regular case it can be non-terminating by using left-recursive rules. E.g. consider parsing a*: as --> as, [a]. as --> []. Prolog will recurse infinitely on the first rule.