Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
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