Prolog-style backtracking - Negation as failure (\+)
Executes Prolog-style backtracking with negation as failure to find all X values where foo(X) is true and 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, fail.