Rename Scope.listOf to Scope.logicListOf
Using A scope with method listOf
is misleading to Kotlin user that really wanted to create a kotlin List
.
Methods such as listOf()
and setOf()
that clash with library method names should be changed to logicListOf()
and logicSetOf()
.
Currently if you want to construct a tuple with tupleOf(Iterable<Term>)
you can't write tupleOf(listOf(atomOf("a"), atomOf("b")))
inside Scope scope, because the outermost argument is considered as a logic list, so it is one Term
an so Tuple
constructor complains throwing exception... But the user didn't want to create a logical list.
Edited by Enrico Siboni