|
From: | Mark Roulo |
Subject: | Re: Very small size limit of Gnu Prolog "database"? |
Date: | Wed, 12 Dec 2012 06:50:42 -0800 (PST) |
Thanks! The good news for us is that we can proceed with gprolog if we think the capability will arrive. I can keep SWI as the backup plan :-) Regards, Mark Roulo |
Hi Mark,
Le 11/12/2012 19:49, Mark Roulo a écrit : The problem comes from the compiler (not the runtime) which is not very optimized (the compiler is mainly the one I wrote in Prolog for wamcc which an experimental research plate-form and it is cleary unoptimized). I have to improve it to tackle large database/datalog facts. Clearly, the current version of gprolog cannot handle so large predicates. SWI Prolog (whose compiler is written in C) should be able to treat them (I didn't try but it is able to deal with large database like wordnet). Improving the compiler is already in my TODO list... I inform you (via the list) as soon as I have something better... Sorry. Daniel
-- Ce message a été vérifié par MailScanner pour des virus ou des polluriels et rien de suspect n'a été trouvé. |
[Prev in Thread] | Current Thread | [Next in Thread] |