Ok, ich weiß, es ist wirklich eine dumme Frage, aber ich kann es nicht bekommen. Es gibt eine Aufgabe, wo ich einen rekursiven Algorithmus von Euclid (gcd) finden sollte. Ich habe es für einen Fall ge
In Visual Prolog gibt es "Domänen" Abschnitt in einem Prolog-Programm, in dem Sie Typen definieren können. Gibt es ähnliches in Swi-Prolog? domains
NewType = thing1; thing2