Prolog	Materialien Installation Grundlagen Eigenheiten Berechnungskonzept Listen Schleifen Mengen globale Variablen Datenbanken Arithmetik Ableiten Graphen Cut findall failure-driven-loop Akkumulator Grafik rapid prototyping Logik Rätsel Grammatik Syntax Glossar Pfad: Startseite / Fächer / Informatik / Prolog / Eigenheiten
Autor: mk 24.04.2007 18:18 1081	Eigenheiten

Problem 1

roe14a5b: Warum funktioniert

ueber(X,Y):-auf(X,Y).
ueber(X,Y):-auf(Z,Y),ueber(X, Z).

im Gegensatz zu

ueber(X,Y):-auf(X,Y).
ueber(X,Y):-ueber(X,Z),auf(Z,Y).

? Was bedeutet 'ERROR: Out of local stack' ?

Problem 2

roe14a1c: Warum ist in

bruder(X, Y):- X \== Y, maennlich(X), elternteil(E, X), elternteil(E, Y).

Paul sein eigener Bruder und in

bruder(X, Y):- maennlich(X), elternteil(E, X), elternteil(E, Y), X \== Y.

nicht?

lokal