/ml-prolog

ML interpreter written in Prolog

Primary LanguageProlog

ML interpreter

  • run tests

$ swipl -g 'run_tests, halt' t/parser_test.pl