amzuko/gotalog amzuko/gotalog

  • Stars
    star
    20
  • Rank 1,115,763 (Top 23 %)
  • Language
    Prolog
  • License
    GNU General Publi...
  • Created over 7 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amzuko/gotalog
github

amzuko

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Golang implementation of datalog, port of MITRE corporation's lua implementation

More Repositories

1

lsat

Lua implementation of a classic dpll SAT solver
C
2
star