9
Sugar Features II
•“Else” part of if-then-else
•Courteous prioritized defaults,
•                     incl. declarative priorities, limited strong/classical negation,
•                           prioritized conflict handling, paraconsistency robustness
•Default inheritance cf. Object Oriented programming, “frame” languages
•“Hilog” – quasi higher order syntactic sugar
•Lloyd-Topor
•Integrity constraints that report violations
•Anonymous existentials, blank-nodes, limited skolemization
•“Crud” – create update delete, cf. Production Rules   (restricted)
•“Assert”, and basic “retract”, cf. Production Rules  (restricted)