Wouldn't it be better to just use something like prolog, there is already and extension for postgres?