extra/logic/examples/zebra2/zebra2-tests.factor

   1 ! Copyright (C) 2019-2020 KUSUMOTO Norio.
   2 ! See https://factorcode.org/license.txt for BSD license.
   3 USING: tools.test logic lists logic.examples.zebra2 ;
   4
   5 {
   6     {
   7         H{
   8             {
   9                 Hs
  10                 L{
  11                     T{ house
  12                        { color yellow }
  13                        { nationality norwegian }
  14                        { drink water }
  15                        { smoke dunhill }
  16                        { pet cat }
  17                      }
  18                     T{ house
  19                        { color blue }
  20                        { nationality dane }
  21                        { drink tea }
  22                        { smoke blend }
  23                        { pet horse }
  24                      }
  25                     T{ house
  26                        { color red }
  27                        { nationality english }
  28                        { drink milk }
  29                        { smoke pall-mall }
  30                        { pet birds }
  31                      }
  32                     T{ house
  33                        { color green }
  34                        { nationality german }
  35                        { drink coffee }
  36                        { smoke prince }
  37                        { pet zebra }
  38                      }
  39                     T{ house
  40                        { color white }
  41                        { nationality swede }
  42                        { drink beer }
  43                        { smoke blue-master }
  44                        { pet dog }
  45                      }
  46                 }
  47             }
  48             { X norwegian }
  49             { Y german }
  50         }
  51     }
  52 }
  53 [ { houseso Hs X Y } query ] unit-test