F-Logic

Frame Logic (abgekürzt F-Logic) ist eine formale Sprache zur Wissensrepräsentation.