Page Numbers: Yes First Page: 1
Heading:

[IVY]<KRL>document>stray-forum-slides

#City

state: A State

airports: SetOf(An Airport)

#AirTrip

origin: An Airport

destination: An Airport

traveller: A Person

purpose: An Activity

#Activity

place: A City

time: A Time

#Meeting

self: An Activity

participants: SetOf (A Person)



#NewYork

self: A City with airports = {LGA, JFK, EWR}

#Trip1

self: An AirTrip with

traveller = JohnDoe

origin = SFO

destination = JFK

purpose: Meeting034

#Meeting034

self: A Meeting with

place = NewYork

participants = {JohnDoe,
MaryMoe,
SallySoe}



#Trip1

self: An AirTrip with

traveller = JohnDoe

origin = SFO

destination = Not (JFK)

purpose: A Meeting with
participants = {John Doe,
MaryMoe, ...}



#MaryMoe

self: A Person with

hometown = Boston
age = 32

A Laywer with

certifications = {Massachusetts, Ohio}
client = Kodak



#Trip1

self: An AirTrip with

traveller = JohnDoe

origin = SFO

destination = Not (JFK)

purpose = A Meeting with
participants =
{JohnDoe,

A SalesPerson with
firm = IBM
A Person with
hometown = LA,

MaryMoe

A Lawyer with
client = Kodak}



#AirTrip

origin: An Airport
MemberOf (The airports from
A City thatIs
the hometown from
My traveller)

destination: An Airport
MemberOf (The airports from
A City thatIs
the place from
My purpose)

traveller: A Person

purpose: An Activity



Characteristics of KRL data structure

Object oriented

Description oriented

Explicit locality control

Meta-recursive



Characteristics of KRL processing

Embedded in INTERLISP

multi-process agendas

procedural attachment

procedural paramaterization

matching as the basis for reasoning

the engine

the access compiler

the full alginer



Procedural attachment

Traps (associated with instances)
Triggers (associated with prototypes)

WhenFilled
BeforeFilled

WhenDescribed
BeforeDescribed

WhenInstantiated
BeforeInstantiated

ToFind

ToMatch