10.07.2015 Aufrufe

Programmieren mit Prolog

Programmieren mit Prolog

Programmieren mit Prolog

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

PROLOG (Forts.)Cut (syntaktisch: !) beeinflusst das Backtracking:• Bewusstes Umgehen nichtterminierender Äste.• Abbruch der Suche nach der ersten gefundenen Antwort.• “Simulation”der Negation: Negation by (finite) failure.not X ← X, !, fail.not X.• fail als stets scheiterndes Prädikat• meta-variable facilityHochschule Darmstadt, Januar 2009 – p.54/54

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!