female(alice) sister_of(X, Y) :- !eq(X, Y), female(X), family_of(X, Y) brother_of(X, Y) :- !eq(X, Y), male(X), family_of(X, Y) [M] :- sister_of(M, alice) [N] :- brother_of(N, alice) [A] :- any([N], B), sister_of(A, B) count([A])? gt([A], [M])? eq([A], [M])? lt([A], [M])?
I don't know the exact encoding and decoding mechanism that ChatGPT 4o has, but I'm pretty sure all the basic facts and rules is already encoded by the models. And you conveniently added the rules that encode the puzzle itself.
I don't know the exact encoding and decoding mechanism that ChatGPT 4o has, but I'm pretty sure all the basic facts and rules is already encoded by the models. And you conveniently added the rules that encode the puzzle itself.