4 ms·Sorry, I parsed the grandparent as: ?- applicationof(prolog, X), domain(X, Y), nonai(Y).by zeckalpha 6y agoSorry, I parsed the grandparent as: ?- applicationof(prolog, X), domain(X, Y), nonai(Y).