Problem mit built-in Prädikaten
{"Image DocumentName": "Problem mit built-in Pr\u00e4dikaten", "Image ImageDescription": "Der Programmierer muss \u00fcber die Resolution nachdenken. Es besteht also keine deklarative Semantik mehr. Falsche Reihenfolge f\u00fchrt zu Fehlern. Beispiele: ?- Y = 2, X is Y+3. ?- X is Y+3, Y = 2. X = 5. Fehler. X = 1; X = 2; X = 4. ?- member(X, [1,2,3,4]), not(X=3). ?- not(X=3), member(X, [1,2,3,4]). No. Jochen Frey. Logische Programmierung: Prolog.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}