facts.kc3

Branch :

Show log
Commit
Author : Thomas de Grivel
Date : 2025-08-19 16:34:33
Hash : f90faa91
Message : Fix pfacts queries in test ikc3

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 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 })

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

Commit

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