core/it.unibo.tuprolog.core/ListIterator/Substituting

Substituting

sealed class Substituting : ListIterator

Inheritors

Types

class All(list: List, unifier: Substitution.Unifier) : ListIterator.Substituting

class SkippingLast(list: List, unifier: Substitution.Unifier) : ListIterator.Substituting

Functions

open operator override fun hasNext(): Boolean

open operator override fun next(): Term

open fun onEmptyList(item: EmptyList): Term