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

etwas liberaler bei Syntax

Open
#17 0 comments 0 reactions 0 assignees View on GitHub

Maintainers usually reply within 1 day

Nobody has claimed this yet.

Assessment

Difficulty
5/5
Estimated time
Over a week
Newbie friendliness
25/100
Issue type
Feature
Clarity
Needs clarification
Activity status
Stale
Tech stack
haskell
Domain
compilers

Research direction

Start by locating the Prolog parser and the interpreter function, then determine which syntax is currently rejected. Define the supported alternative spellings for comparison, inequality, and negation, and verify that representative Prolog clauses accept them without changing the intended canonical operators.

Written by the indexing model from the issue text.

Description

Es kann sein, dass dies eher in das prolog Repo gehört. Allerdings gibt es dort im Moment keinen Issue-Tracker, und vielleicht ist es auch doch so, dass eine entsprechende Änderung zumindest teils hier gemacht werden müsste, etwa per speziellem Parameter zur Übergabe an die Interpreter-Funktion. Jedenfalls:

Manchmal könnte die Prolog-Interpretation hier etwas liberaler sein und auch Syntax akzeptieren, die von "echtem" Prolog aus rein idiosynkratischen Gründen zurückgewiesen wird.

Ein Beispiel ist der "kleiner-gleich" Operator. Dafür ist ja <= durchaus üblich, aber Prolog akzeptiert nur =<. Für die Verwendung in Autotool könnten wir einfach beide Formen akzeptieren, bzw. vielleicht einfach beim Parsen schon sowohl <= als auch =< als Token für =< nehmen. (Das könnte einige für Studierende frustrierende Zurückweisungen von Einreichungen vermeiden.)

Ein anderes Beispiel (das vielleicht besonders in ProPa relevant ist, wenn der Wechsel von Haskell zu Prolog stattfindet) wäre die Ungleichheit: einfach sowohl \= als auch /= akzeptieren.

Auch bei der Negation könnten vielleicht bestimmte Schreibweisen, die im Kontext der Formel-Autotool-Aufgaben akzeptiert werden, auch in Prolog-Klauseln akzeptiert werden, also neben not und \+ auch ¬ und vielleicht ~. Hingegen wohl lieber nicht - oder nicht.

Das waren alles Beispiele im Kontext Operatoren. Vielleicht gibt es auch noch andere relevante Fälle.

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.