Implementation of Force 3 in Prolog