Standard Prolog force are now published online as well