You may be interested in things like Strand and the work on parallel Prologs which have a similar "let the computer system sort out the proper execution order".

You may be interested in things like Strand and the work on parallel Prologs which have a similar "let the computer system sort out the proper execution order". This wouldn't satisfy your syntax desire (Algol family) but may help develop your understanding of the problem domain. A discussion last year: https://news.ycombinator.com/item?id=26948351 https://news.ycombinator.com/item?id=26948351 (wow, 18 months since that discussion, seemed more recent in my memory)