Looking for unfolding program

Article View: comp.lang.prolog

Article #1633

#1633

From: Joachim Posegga
Date: Thu, 15 Oct 1992 10:42

7 lines
594 bytes

Does anyone know of a PD program for unfolding Prolog clauses?
(E.g. translate a :- b,c  and b :- e into a :- e,c)

Thanks in advance

	Joachim.

Technical Details

Message-ID: <POSEGGA.92Oct15104223@margaux.ira.uka.de>

Path: arc1-ca.pugleaf.net!sparky!uunet!convex!darwin.sura.net!spool.mu.edu!sol.ctr.columbia.edu!ira.uka.de!uka!news!posegga

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!convex!darwin.sura.net!spool.mu.edu!sol.ctr.columbia.edu!ira.uka.de!uka!news!posegga
From: posegga@margaux.ira.uka.de (Joachim Posegga)
Newsgroups: comp.lang.prolog
Subject: Looking for unfolding program
Date: 15 Oct 92 10:42:23
Organization: Karlsruhe University, Dept of Comp Science, FRG
Lines: 7
Distribution: comp
Message-ID: <POSEGGA.92Oct15104223@margaux.ira.uka.de>
NNTP-Posting-Host: i12s3.ira.uka.de