dsl-core/it.unibo.tuprolog.dsl/LogicProgrammingScopeWithPrologStandardLibrary/nid

nid

open infix fun Any.nid(right: Any): Struct

Builds a \==/2 Struct (term structural inequality).

Generated by Dokka
© 2026 Copyright