🚀 go-pugleaf

In article <189@syllogi.syllogic.nl> fdb@syllogic.nl (Frank de Bruijn)
writes:

#  I see, are you blind, or just too lazy to read a decent textbook on
#  PROLOG? Even the "not so good books" describe this. 

Is it necessary to talk to your junior colleagues in this tone of voice?


#  ...a meta-interpreter could handle the symmetry, transitivity, etc.  of
#  all relations declared as such.  One implementation technique that can
#  be used in such a meta-interpreter is to examine the goal stack for an
#  earlier call-frame that matches the current call frame.  This works, but
#  it's costly......... 

I hadn't thought of that.  It is a fascinating possibility.  Have you
actually implemented anything this way?

-- Ken Johnson


-- 
////  Advice to dieters:          ////  Ken Johnson, A I Applications Institute
////    Never eat more than       ////       80 South Bridge, EDINBURGH EH1 1HN
////    you can carry.            ////                 E-mail ken@aiai.ed.ac.uk
////               -- Miss Piggy  ////     phone 031-650 2756  fax 031-650 6513