search

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
http://souffle-lang.github.io/
Universal Permissive License v1.0
921 stars 208 forks source link

Souffle can't parse *.facts #1691

Closed haotianmichael closed 4 years ago

haotianmichael commented 4 years ago

Hi, I'm a newer to souffle. When I used souffle running the example.dl provided by Toturial it errored that Error loading data: Error converting <1 2> in column 1 in line 1; cannot parse fact file edge.facts!. I don't know how to fix it, Please help me out, Thanks!
My Machine is MacOS Catalina 10.15.7.

mmcgr commented 4 years ago

The problem is probably that edge.facts is in an incorrect format. The standard delimiter is a tab character, so the first line is 1<tab>2<new line>.

haotianmichael commented 4 years ago

My edge.facts's format is 1<tab>2<enter>3<tab>4<enter>, which doesn't work either:(

It seems My vim changed the default tab. Now it works. Thanks a lot!