Guix is implemented in Guile Scheme. Lots of the little DSLs used are in fact the descriptive abstractions you mention. If not, it's quite easy to implement P

Guix is implemented in Guile Scheme. Lots of the little DSLs used are in fact the descriptive abstractions you mention. If not, it's quite easy to implement Prolog or any other logic language like Kanren in Scheme. It's been done many times.