•“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)