extra/logic/examples/zebra-short/zebra-short-tests.factor

   1 ! Copyright (C) 2019-2020 KUSUMOTO Norio.
   2 ! See https://factorcode.org/license.txt for BSD license.
   3 USING: tools.test logic logic.examples.zebra-short ;
   4
   5 {
   6     { H{ { X japanese } } H{ { X japanese } } }
   7 }
   8 [ { zebrao X } query ] unit-test