diff --git a/pkgs/racklog/racklog.rkt b/pkgs/racklog/racklog.rkt
index e2b8795c84..28bc6a4b21 100644
--- a/pkgs/racklog/racklog.rkt
+++ b/pkgs/racklog/racklog.rkt
@@ -309,7 +309,9 @@
                       (abort-to-racklog-prompt #f))))
          (abort-to-racklog-prompt
           (list (cons 'v (logic-var-val* v))
-                ...)))))))
+                ...)))))
+    [(%which (v ...) g ...)
+     (%which (v ...) (%and g ...))]))
 
 (define (%more)
   (with-racklog-prompt
diff --git a/pkgs/racklog/tests/unit.rkt b/pkgs/racklog/tests/unit.rkt
index 7c791f9bb3..4c2506fcf8 100644
--- a/pkgs/racklog/tests/unit.rkt
+++ b/pkgs/racklog/tests/unit.rkt
@@ -556,5 +556,8 @@
  (%more) => #f
  (%which () (%let (x) (%var 1))) => #f
  (%which () (%let (x) (%and (%= x 1) (%var x)))) => #f
+
+ (%which () %true %true) => empty
+ (%more) => #f
  
  )