Page 1 of 1

MOLOG through SICStus Prolog compatibility (NCL support)

Posted: Tue Jan 20, 2015 11:41 am
by pedrofmj
Hi Dr. Paulo,
I see that your system supports also SICStus Prolog.

I found this:
http://www.mimuw.edu.pl/~nguyen/mprolog.html
and then
http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/molog.html

Do you think your system would be compatible with MOLOG over SICStus Prolog?
I would like to let my system modular until the point to support non-classical logics (as MOLOG states)
And I imagined them object-oriented.

Thanks,

Pedro Ferreira.

Re: MOLOG through SICStus Prolog compatibility (NCL support)

Posted: Tue Jan 20, 2015 12:37 pm
by Paulo Moura
From the first URL you give, you find a PDF stating "This system is written in Prolog as a module for Prolog." If you download the 2.0 version, the README file states "The MProlog module can be loaded by ...". But, if you look into the code, there's no module definition! The code seems to be dumped in the "user" pseudo-module upon consulting. There are also definitions for operators and predicates that will conflict with both Logtalk and Prolog built-in predicates and operators. So, your first task, if you want to use code, would be to encapsulate it in a true module/object or set of modules/objects and solve all the conflicts.