Assert into user space across all modules


Is there a simple way to indicate that all assert included across modules should all assert into the user space, and not within the module?

thank you,


What does that mean? To insert in user, use e.g., assertz(user:p(a)). I wouldn’t really recommend this though. My $0.001: keep user empty except for some quick and dirty stuff (which may include writing little helpers for debugging and testing, tryouts, etc.)

Thank you.

I guess, if more than one module asserts, i want them all in one centralized module. So, best is to choose one that holds them all …

Make a db module where you keep all the data, preferably manipulated using exported predicates.