atomCharsTestListHead

open override fun atomCharsTestListHead()

Tests the queries

?- atom_chars(ac, [A,C])

succeeds. producing 1 solution which binds variable C to c.