@JeanChristopheRohner
github

JeanChristopheRohner

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 704,724 (Top 25 %)
  • Followers 6
  • Following 20
  • Registered over 5 years ago
  • Most used languages
    Prolog
         100.0 %

Top repositories

1

theory-toolbox-2

Prolog
12
star
2

theory-toolbox

A collection of Prolog predicates for reasoning about scientific theories written in clausal form logic.
Prolog
5
star