BF for ProLog - Not my implementation.