testBagOfFail

open override fun testBagOfFail()

Tests the queries

?- bagof(X,fail,L).