Skip to content
Snippets Groups Projects
Normal view Permalink
create_fact.txt 286 B
Newer Older
  • Learn to ignore specific revisions
    • Paul-Walcher's avatar
    doc changed
    Paul-Walcher committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 
    
in gadget: use Factadder

factadder adds the fact to the server, use standard method AddFactIfNotFound

fact: fact to add
samestep: if the fact belongs conceptually to the previously added one

Fact.cs: Caches all facts

see  TestFact as an example
parseFact interprets new MMT fact.