Swi Prolog V7
"j.gressier" <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <1878093865.67675.1386170107574.JavaMail.www@wwinf8226> |
I have made a few tests under the V7 version of Swi Prolog (XP, 32 bits). The project (Geometrix 4, dynamic geometry, interactive proof) , 4.5 Mo of prolog source code, is deeply intertwined (C interface and sockets) with FreePascal code (2.5 MO, plain text). The prolog part deals with inference engines and geometric constructions. Roughly, FreePascal only displays "things" on the screen which have been calculated by Prolog. So far, I did not encounter any problem. The online version, still in a beta stage for a few weeks, has been compiled under Swi Prolog 6.6. The release 4.0 version will stick to this last stable version but I shall most probably switch to the "new Prolog" when the V7 will be considered stable. All the best. Jacques Gressier http://geometrix.free.fr/site -------------- next part -------------- HTML attachment scrubbed and removed _______________________________________________ SWI-Prolog mailing list [email protected] https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog