default

The default Termificator, backed by scope. Handles Chars, Booleans, Strings (atoms, or variables when they look like a Prolog variable name), Numbers, Arrays and Sequences (as logic lists) like legacy does, but additionally distinguishes Kotlin Lists (as logic lists) from Sets (as it.unibo.tuprolog.core.Blocks), and also handles Pairs/Triples (as it.unibo.tuprolog.core.Tuples) and Maps/Map.Entrys (as blocks of key:value structs) — any other Iterable still falls back to a logic list.