MOLOG through SICStus Prolog compatibility (NCL support)

Tips and tricks when running Logtalk using SICStus Prolog as the back-end compiler

Moderator: Paulo Moura

Post Reply
pedrofmj
Posts: 20
Joined: Sun Jan 18, 2015 1:15 pm

MOLOG through SICStus Prolog compatibility (NCL support)

Post by pedrofmj » Tue Jan 20, 2015 11:41 am

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.

Paulo Moura
Logtalk developer
Posts: 468
Joined: Sat May 05, 2007 8:35 am
Location: Portugal
Contact:

Re: MOLOG through SICStus Prolog compatibility (NCL support)

Post by Paulo Moura » Tue Jan 20, 2015 12:37 pm

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.
Paulo Moura
Logtalk developer

Post Reply

Who is online

Users browsing this forum: No registered users and 1 guest