it.unibo.tuprolog.unify.exception

Classes

Name	Description
`open class NoUnifyException: TuPrologException`
`class OccurCheckException: NoUnifyException`

Currently 0.20.4-dev03+7d9c6c67. Created with Orchid and Orchid Editorial Theme.