Re: Contextual Logic Compilers
Salvador Abreu <[email protected]>
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <[email protected]> |
Hi, On Sep 20, 2011, at 19:28, Merinov Nikolay wrote: > There are exist any Prolog compilers with Contextual Logic Programming > support? > > http://gprolog.org/ links to http://www.di.uevora.pt/gprolog-cx/ , but > there are no valid reference to source or object code. There's a version of gprolog-cx, based on GNU Prolog 1.2.18, but it hasn't seen much maintenance and it needs work to compile with the more recent versions of gcc. I've put the most up-to-date source tree up on http://www.di.uevora.pt/~spa/software/gprolog-cx_1.2.18-16.tar.gz but note that: - it only compiles on Debian x86 (x64 is experimental) - there is no interpreted mode support (ie. consult/1 doesn't work - you have to use gplc-cx all the time) If you want to pick it up, let me know. Best, -- Salvador Abreu [email protected]