Re: decompiler for prolog

"Jens Kilian" <Jens_Kilian@agilent.com>
6 Nov 2002 11:40:32 -0500

          From comp.compilers
Related articles
decompiler for prolog dulan@clanbw.org (dulan) (2002-10-25)
Re: decompiler for prolog Jens_Kilian@agilent.com (Jens Kilian) (2002-11-06)
| List of all articles for this month |
From: "Jens Kilian" <Jens_Kilian@agilent.com>
Newsgroups: comp.compilers
Date: 6 Nov 2002 11:40:32 -0500
Organization: Agilent Technologies Deutschland GmbH
References: 02-10-108
Keywords: prolog
Posted-Date: 06 Nov 2002 11:40:32 EST

"dulan" <dulan@clanbw.org> writes:
> [I'd be even more surprised to find a prolog decompiler than a Fortran
> decompiler. -John]


Actually, many Prolog systems contain a decompiler for accessing the internal
clause database. Decompiling is not too hard in the standard execution model
for Prolog (Warren Abstract Machine), but is a PITA as soon as optimizations
must be considered.


As recently mentioned on comp.lang.prolog, SWI-Prolog contains a decompiler.
HTH,
Jens.
--
mailto:jjk@acm.org phone:+49-7031-464-7698 (TELNET 778-7698)
    http://www.bawue.de/~jjk/ fax:+49-7031-464-7351
PGP: 06 04 1C 35 7B DC 1F 26 As the air to a bird, or the sea to a fish,
0x555DA8B5 BB A2 F0 66 77 75 E1 08 so is contempt to the contemptible. [Blake]

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.