symbolic prolog debugger 
Author Message
 symbolic prolog debugger

Hi all

I'm looking for a symbolic prolog de{*filter*}. Ideally it should be portable
to sicstus or swi. Does anybody know of such a beast ?

Thanks, Karsten



Tue, 13 Jul 1999 03:00:00 GMT  
 symbolic prolog debugger

Quote:

>I'm looking for a symbolic prolog de{*filter*}. Ideally it should be portable
>to sicstus or swi. Does anybody know of such a beast ?

There is a prototype GUI-based source-level de{*filter*} available for SWI-Prolog.
It is not (easily) portable, and runs on top of the XPCE GUI system, making
it available for the PC and Unix/X11 platforms.  We have not yet fixed the
conditions on how we make this de{*filter*} available (XPCE is a licensed
product), and it is not yet finished.  People who already have an license for
XPCE can contact me for an evaluation.

        Regards --- Jan

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Jan Wielemaker                  Author of SWI-Prolog and the XPCE GUI library
SWI, University of Amsterdam     http://www.*-*-*.com/



Thu, 15 Jul 1999 03:00:00 GMT  
 
 [ 2 post ] 

 Relevant Pages 

1. Symbolic Nasm Debugger?

2. Symbolic information Turbo Debugger

3. Symbolic debugger for Ada95 Gnat 3.05

4. WTB Absoft Fx symbolic Debugger A/UX

5. Symbolic debugger for Python

6. RSX symbolic debugger

7. WTB Absoft Fx symbolic Debugger A/UX

8. Symbolic debugger for lisp

9. PROLOG symbolic calculation library request

10. Symbolic integration using prolog

11. Symbolic integration using prolog

12. Solving symbolic equations in Prolog

 

 
Powered by phpBB® Forum Software