It is, and it isn't. Similar to prolog, you start high level, then have to bend over backwards making your high level description into an implementation aware l

It is, and it isn't. Similar to prolog, you start high level, then have to bend over backwards making your high level description into an implementation aware low level description, by mashing the high level components together into the right spell to make the low level implementation go brr