Hacktoberfest 2026: the issues maintainers tagged for October, open and beginner-friendly. Browse Hacktoberfest issues

Optionally forbid particular predicates per task

Closed
  • Is something wrong?
#22 0 comments 0 reactions 0 assignees View on GitHub

Maintainers usually reply within 1 day

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
55/100
Issue type
Feature
Clarity
Mostly clear
Activity status
Quiet
Tech stack
haskell
Domain
backend

Research direction

Start by locating the task configuration and the code that validates student predicates; no files, tests, or entry points are named in the issue. Trace how task feedback is produced, then verify that a configured forbidden predicate is rejected with the requested message while permitted predicates remain unaffected.

Written by the indexing model from the issue text.

Description

For example, if students use number/1 in a Peano task, they have fundamentally misunderstood the whole point of "symbolic numbers" like s(s(null)).

To address that, the task configuration could specify a list of forbidden predicates, so that in such a case the feedback "You cannot use number in this task" would be given.

Dominant language
Haskell
Stars
0
Forks
1
Avg merge
1d 5h
Merged PRs (30d)
14

Getting set up

  • No Dockerfile or Docker Compose file
  • Has a pull request template
  • No contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from fmidue/prolog-programming-task

All issues in fmidue/prolog-programming-task

Similar issues

More Haskell issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.