Prolog-style backtracking - Negation as failure (\+) (first solution only)
Executes Prolog-style negation as failure to find X where foo(X) is true but qux(X) is false.
/plugin marketplace add kokuyouwind/claude-plugins/plugin install code-like-prompt@kokuyouwind-pluginsEmulate the following Prolog-style code internally (without using external tools or interpreter). Output only what write() commands would output. Do not show any explanations, code, variables, or other messages.
foo(bar).
foo(baz).
qux(baz).
test(X) :- foo(X), \+ qux(X).
?- test(X), write(X), nl.