(a) a d a t a b a s e , i n t h e f o r m o f a c o l l e c t i o n o f l a b e l e d d i r e c t e d g raphs where know ledge can be s t o r e d (b) p a t t e r n d i r e c t e d i n f o r m a t i o n r e t r i e v a l and p a t t e r n i n v o k e d f u n c t i o n c a l l s ( c ) p r i m i t i v e s t a t e m e n t s w h i c h e n a b l e t he use r t o c o n s t r u c t f l e x i b l e s e a r c h i n g a l g o r i t h m s . The l anguage is an e x t e n s i o n of SNOBOL in i t s d e s i g n and i m p l e m e n t a t i o n and uses SNOBOL's s t r i n g p a t t e r n m a t c h i n g f a c i l i t i e s f o r i t s own ( g r a p h ) p a t t e r n m a t c h i n g . 1 . I n t r o d u c t i o n l.pak was d e s i g n e d o r d e r t o f a c i l i t a t e A I v e r s i t y o f T o r o n t o . I t by o t h e r l anguages d e s i such as C0NNIVF.R[1,2] , S A I L [ 5 , 6 ] , and our d e c i an e x t e n s i o n of SNOBOL i n e x p e n s i v e ( i n te rms o r e q u i r e d f o r t h e e x e c u t T h i s pape r o n l y d i t u r e s of l.pak, how the r e l a t i o n t o f e a t u r e s o f f o r AI , and t h e success m e n t a t i o n . More d e t a i l a v a i l a b l e e l s e w h e r e [ 7 ] t he r e a d e r i s f a m i l i a r o f SNOBOL [ 8 ] . and imp lemen ted in r e s e a r c h a t t he U n i s d e s i g n was i n f l u e n c e d gned f o r s i m i l a r reasons PLANNFR[3] , Q A 4 [ 4 ] , s i o n t o imp lement i t a s and keep i t r e l a t i v e l y f t h e t i m e and space i o n o f p r o g r a m s ) . scusses t h e main f e a y can be u s e d , t h e i r f e r e d b y o t h e r l anguages o f t he c u r r e n t i m p l c s on t he l anguage are I t i s assumed t h a t w i t h t he b a s i c f e a t u r e s
[1]
Carl Hewitt,et al.
Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
,
1972
.
[2]
Jerome A. Feldman,et al.
Recent developments in SAIL: an ALGOL-based language for artificial intelligence
,
1972,
AFIPS '72 (Fall, part II).
[3]
Drew McDermott,et al.
From PLANNER to CONNIVER: a genetic approach
,
1972,
AFIPS '72 (Fall, part II).
[4]
Donald A. Norman,et al.
A process model for long-term memory.
,
1972
.
[5]
Richard J. Waldinger,et al.
The QA4 language applied to robot planning
,
1972,
AFIPS '72 (Fall, part II).
[6]
Gerald Jay Sussman,et al.
The Conniver Reference Manual
,
1972
.