Edit

kc3-lang/kc3/test/ikc3/facts_with.kc3

Branch :

  • test/ikc3/facts_with.kc3
  • quote Facts.with(Facts.env_db(), [[KC3, :operator, op = ?],
                                      [op, :sym, sym = ?]], fn (fact) do
      puts("#{inspect(op)} #{inspect(sym)}")
      1
    end)
    Facts.with(Facts.env_db(), [[KC3, :operator, op = ?],
                                [op, :sym, sym = ?]], fn (fact) do
      puts("#{inspect(op)} #{inspect(sym)}")
      1
    end)
    quote Facts.with(Facts.env_db(), [[KC3, :operator, op = ?],
                                [op, rel = ?, value = ?]], fn (fact) do
      puts("#{inspect(op)} #{inspect(rel)} #{inspect(value)}")
      2
    end)
    Facts.with(Facts.env_db(), [[KC3, :operator, op = ?],
                                [op, rel = ?, value = ?]], fn (fact) do
      puts("#{inspect(op)} #{inspect(rel)} #{inspect(value)}")
      2
    end)