Comment by FnuGk

Isnt that the building blocks of logic based programming languages like Prolog?