@datalaude
github

datalaude

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,429,359 (Top 50 %)
  • Followers 2
  • Registered about 15 years ago
  • Most used languages
    Prolog
         100.0 %

Top repositories

1

datalaude

Datalog solver based on rewriting logic.
Prolog
5
star