A frontend for assert and retract

[matko]

As per #4, we need a way to manipulate predicates at runtime. While assert, retract and friends can be called as prolog predicates, there are also functions for these in the SWI-Prolog native api, which may be faster.