Prolog theory/query interaction, unstable