testCompoundAny

abstract fun testCompoundAny()

Tests the queries

?- compound(_).

fails on a solver initialized with default built-ins and with and empty theory,