SWI-Prolog
indieterminacy