kc3-lang/kc3/test/ikc3/facts.kc3

• Show log

  Commit

• Hash : 61ad534c
  Author : Thomas de Grivel
  Date : 2025-08-14T15:39:24
  

  all tests pass, restoring from lib/kc3/0.1/kc3.dump automatically. Use make dump to update the dump.
  

Download

• test/ikc3/facts.kc3

• quote %Fact{}
  %Fact{}
  quote do
    db = Facts.database()
    void
  end
  do
    db = Facts.database()
    void
  end
  quote Facts.add_tags(db, 1, 2, 3)
  Facts.add_tags(db, 1, 2, 3)
  quote Facts.add_tags(db, 4, 5, 6)
  Facts.add_tags(db, 4, 5, 6)
  quote Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}"); :ok })
  Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}"); :ok })
  quote Facts.add_tags(db, 7, 8, 9)
  Facts.add_tags(db, 7, 8, 9)
  quote Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}"); :ok })
  Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}"); :ok })
  quote Facts.remove_tags(db, 4, 5, 6)
  Facts.remove_tags(db, 4, 5, 6)
  quote Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
  Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
  quote Facts.delete(db)
  Facts.delete(db)
  quote do
    db = Facts.database()
    void
  end
  do
    db = Facts.database()
    void
  end
  quote Facts.add_tags(db, 1.0, 2.0, 3.0)
  Facts.add_tags(db, 1.0, 2.0, 3.0)
  quote Facts.add_tags(db, 4.0, 5.0, 6.0)
  Facts.add_tags(db, 4.0, 5.0, 6.0)
  quote Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}"); :ok })
  Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}"); :ok })
  quote Facts.delete(db)
  Facts.delete(db)
  

Download