No description, website, or topics provided.
Prolog
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
LICENSE
README.md
about_arithmetic.pl
about_arithmetic.plt
about_goals.pl
about_goals.plt
about_lists.pl
about_lists.plt
about_logic_codes.pl
about_logic_codes.plt
runner.pl
runner_arithmetic.pl
runner_goals.pl
runner_helper.pl
runner_list.pl
runner_logic_codes.pl

README.md

Note: still very much in progress

prolog-koans

Geared towards learning prolog based on the 99 problems created by Werner Hett (https://sites.google.com/site/prologsite/) with permission.

Usage

Non-interactive run with swipl:

  • In main directory, run 'swipl -sq runner.pl -g "go." -t halt.'

Interactive run in interpreter:

  • Start your prolog interpreter in the main directory (I personally used swi-prolog and can verify this suite works with it).
  • Consult the runner file with "[runner]."
  • Run the test suite with "go."
  • As the test suite goes, it prints hints for each test and stops on the first failure.