Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!mcvax!enea!erix!nabiel
From: nabiel@erix.UUCP (Nabiel Elshiewy)
Newsgroups: comp.lang.prolog
Subject: Re: cut for meta-interpreter
Message-ID: <1334@erix.UUCP>
Date: Fri, 24-Apr-87 17:55:09 EDT
Article-I.D.: erix.1334
Posted: Fri Apr 24 17:55:09 1987
Date-Received: Sun, 26-Apr-87 04:49:12 EDT
References: <6681@bu-cs.BU.EDU> <1861@druhi.UUCP> <6867@bu-cs.BU.EDU>
Sender: news@erix.UUCP
Reply-To: nabiel@erix.UUCP (Nabiel Elshiewy)
Organization: Ericsson Telecom, Stockholm, Sweden
Lines: 3
Keywords: cut, circular meta-interpreter
Summary: A good solution

I think you better take a look into the record of 1985 IEEE Symp. on 
Logic programming. You'll find the interpreter you need and a bit more
in an article there written by R. O'Keefe "On the treatment of cuts in 
prolog source-level tools", pp 68-72.