Awkward
A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=hckrrx.-haxatk%7E411530bc
The issue as described by the user:
The definition of clause should not have two cases. The first case should be syntactic sugar for n=2.
The text highlighted while reporting this issue:
program
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/prolog/slides/facts-rules.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=prolog/slides/facts-rules.en.xhtml&bindings=0_2_3KQiHCq -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/prolog/sec/intro.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=prolog/sec/intro.en.xhtml&bindings=0_1_dEL0 -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/prolog/sec/prolog-programming.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=prolog/sec/prolog-programming.en.xhtml&bindings=0_1_dei -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtml