From 5c373c5d070d0770f84fb00602e5e4724a43a5b0 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Mon, 28 Oct 2013 13:22:12 -0600
Subject: [PATCH] Fix PR14129

---
 pkgs/racklog/racklog.rkt    | 4 +++-
 pkgs/racklog/tests/unit.rkt | 3 +++
 2 files changed, 6 insertions(+), 1 deletion(-)

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
  
  )