testNumberCodesListIsVar2

open override fun testNumberCodesListIsVar2()

Tests the query

?- number_codes(9921.1,L).

succeeds on a solver initialized with default built-ins and with an empty theory, producing 1 solution which binds variable L to the code list for "9921.1".