GOLOG

O GOLOG é um gestor de objectos cuja semântica é próxima das frames (Seabra Lopes, 1995)

Algumas primitivas:

• new_frame(Frame)

• new_slot(Slot)

• new_value(Frame,Slot,Value)

• new_relation(Rel,Trans,Restrictions,Inv)

  • Trans ::= transitive | intransitive

  • Restrictions ::= all | none | inclusion(Slots) | exclusion(Slots)

• call_method(Frame,Method,ParamList)

• new_demon(Frame,Slot,Proc,Access,When,Effect)

  • Access ::= if_read | if_write | if_delete | if_execute

  • When ::= before | after

  • Effect ::= alter_value | side_effect