:- use_module(library(logicmoo_user)). ==> parent(adam,abel). ==> parent(abel,enoch). ==> gender(abel,male).