External sources of knowledge and value invention in logic programming