Intelligent backtracking implemented with continuation passing

Article View: comp.ai

Article #9063

#9063

From: wongm
Date: Sun, 11 Aug 1991 12:54

23 lines
1878 bytes

Hello all the AI experts , I am currently implementing a Petri Net 
simultor , in Pascal ! And all the technics involved are : 

1) second order recursion , and 
2) continuation (procedure) passing to implement backtracking !!

Currently , the package is running fine , but I am about to build an
Intelligent Backtracking into the package to ease the Reachability 
Analysis , as it can grows exponentially in time !!

I have searched through articles , journals and books , but most of
them are concerntrate on the Intelligent Backtracking on logic
programming , like deduction , unification and in Prolog implementation
. I just wonder if anyone knows I can get hints in this issue , and if
so please KINDLY e-mail me about anything helpfull at all ! Besides , if
this is the wrong News group , please let me know , so I won't be
wasting the bandwidth and time !!

Any help from all the experts and kind people are deeply appreciated in
advance !! Hope to hear from you guys !!

- wongm@latcs1.lat.oz.au

Technical Details

Message-ID: <1991Aug11.125445.23527@latcs1.lat.oz.au>

Path:

arc1-ca.pugleaf.net!gmdzi!unido!mcsun!uunet!seismo!dimacs.rutgers.edu!aramis.rutgers.edu!paul.rutgers.edu!dorm.rutgers.edu!munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!luga!latcs1!wongm

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f7536,47522086973fcb2b,start
X-Google-Attributes: gidf7536,public
X-Google-Thread: 102449,47522086973fcb2b,start
X-Google-Attributes: gid102449,public
X-Google-Thread: 10461e,47522086973fcb2b,start
X-Google-Attributes: gid10461e,public
X-Google-ArrivalTime: 1991-08-12 03:54:01 PST
Path: arc1-ca.pugleaf.net!gmdzi!unido!mcsun!uunet!seismo!dimacs.rutgers.edu!aramis.rutgers.edu!paul.rutgers.edu!dorm.rutgers.edu!munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!luga!latcs1!wongm
From: wongm@latcs1.lat.oz.au ( )
Newsgroups: comp.ai,comp.ai.edu,aus.ai
Subject: Intelligent backtracking implemented with continuation passing
Message-ID: <1991Aug11.125445.23527@latcs1.lat.oz.au>
Date: 11 Aug 91 12:54:45 GMT
Sender: wongm@latcs1.lat.oz.au ( )
Organization: Comp Sci, La Trobe Uni, Australia
Lines: 23