Hi,
besides the comments in my updated post above, it would be nice if, for simple cases, the user does not need to include the directives you invented. I.e. your application could provide suitable defaults for simple cases. Or maybe those defaults are already in place and I just missed them. Anyway, your Trac installation is returning Python errors, preventing me from browsing the source code.
Best regards,
Paulo
P.S. ICLP'08 is accepting 5-pages posters. A submission with a description of your application would have a good change of being accepted.
Gorgias port
Moderator: Paulo Moura
-
Paulo Moura
- Logtalk developer
- Posts: 533
- Joined: Sat May 05, 2007 8:35 am
- Location: Portugal
- Contact:
Re: Gorgias port
Paulo Moura
Logtalk developer
Logtalk developer
-
Victor NOEL
- Posts: 48
- Joined: Tue May 15, 2007 4:53 pm
Re: Gorgias port
Yes, you are right, it would be better.Paulo Moura wrote:Hi,
besides the comments in my updated post above, it would be nice if, for simple cases, the user does not need to include the directives you invented. I.e. your application could provide suitable defaults for simple cases. Or maybe those defaults are already in place and I just missed them.
I was think about having by default the vanilla resolver at less, because nothing would work without it. Like that users that only want to do abduction could be by importing only abducible for example, or only lpwnf for preference rules.
I will follow your idea about discontiguous and public/1 directives.
Fixed, thanksPaulo Moura wrote: Anyway, your Trac installation is returning Python errors, preventing me from browsing the source code.
About pygments, it is included in the pygments distribution, I only had to activate it within trac (add the good mimetype)
I will take a look at this, thanks for the idea, even if I am not sure I merit it ^^Paulo Moura wrote: P.S. ICLP'08 is accepting 5-pages posters. A submission with a description of your application would have a good change of being accepted.