Category "inductive-logic-programming"

No theory in Aleph SWI Prolog

My question is pretty similar to Not getting a theory in Aleph for SWI Prolog After trying to induce a theory, I end up getting only single atoms My code(only a