Added ignore/n and forall/2

I think Prolog now has everything from SWI Prolog that I would have
reason to use, save for things that are too painful to implement, like
CLP(R).