Search found 530 matches

by Paulo Moura
Mon Feb 01, 2021 10:52 pm
Forum: Announcements
Topic: Moving discussion forums to GitHub
Replies: 0
Views: 657

Moving discussion forums to GitHub

Hi, The discussion forums are moving to GitHub: https://github.com/LogtalkDotOrg/logtalk3/discussions The contents of the old discussion forums (at https://forums.logtalk.org/) cannot and will not be transferred, however, and will continue to be accessible using the same URL. For all intents and pur...
by Paulo Moura
Tue Dec 22, 2020 10:17 am
Forum: Announcements
Topic: Logtalk 3.43.0 Stable
Replies: 0
Views: 638

Logtalk 3.43.0 Stable

Hi, Logtalk 3.43.0 is now available for downloading at: https://logtalk.org/ This release focus once again on improved testing support and improved test suites for both Logtalk features and Prolog standards compliance of supported backends. It also provides compiler improvements and bug fixes, provi...
by Paulo Moura
Thu Nov 26, 2020 10:12 pm
Forum: Help
Topic: Problems with user defined types
Replies: 8
Views: 2386

Re: Problems with user defined types

Fixed in the current Logtalk git version: https://github.com/LogtalkDotOrg/logtalk3/commit/1b66dcac4f4d99428fdad2fc40e5290a6be0d0f4 Thanks for reporting. P.S. In the loader file, there's no point in trying to compile the "meta", "types", and "debugger" libraries in debug mode as their loader files o...
by Paulo Moura
Thu Nov 12, 2020 9:17 pm
Forum: Help
Topic: Problems with user defined types
Replies: 8
Views: 2386

Re: Problems with user defined types

A know incompatibility is due to the use of SWI-Prolog eager evaluation of dict functions, which can result in errors due to arguments only know at runtime. No workaround exists currently. There are likely others such as the one that's causing the issue you report. For code portability, proprietary ...
by Paulo Moura
Thu Nov 12, 2020 6:22 pm
Forum: Help
Topic: Problems with user defined types
Replies: 8
Views: 2386

Re: Problems with user defined types

The debug(on) option is only affecting the compilation of the "my_types" source file. It also affects the compilation of the loader files themselves for libraries and tools but not the actual source files loaded by the loader files. I.e. the "my_types" category is the only entity compiled in debug m...
by Paulo Moura
Wed Nov 11, 2020 6:58 pm
Forum: Help
Topic: Problems with user defined types
Replies: 8
Views: 2386

Re: Problems with user defined types

I'm unable to reproduce the problem. The query works for me outside the debugger: ?- {types(loader), meta(loader), my_types}. ... % (0 warnings) true. ?- R = _{a:[ _{impact:5, risk:50, asset:_{id:"1", os:"linux", ip:"1.1.1.1"}, type:"dos", id:"1"}, _{impact:5, risk:50, asset:_{id:"2", os:"linux", ip...
by Paulo Moura
Mon Oct 26, 2020 9:16 am
Forum: Announcements
Topic: Logtalk 3.42.0 Stable
Replies: 0
Views: 709

Logtalk 3.42.0 Stable

Hi, Logtalk 3.42.0 is now available for downloading at: https://logtalk.org/ This release focus on improved testing support and improved test suites for both Logtalk features and Prolog standards compliance of supported backends. It also adds new "logtalk_load_context/2" predicate keys, generalizes ...
by Paulo Moura
Thu Sep 10, 2020 1:05 pm
Forum: Help
Topic: Logtalk object (de)serialization to JSON?
Replies: 1
Views: 1051

Re: Logtalk object (de)serialization to JSON?

This raises the following questions: - How to deal with the category imports and the inheritance hierarchies when serializing an object? Should we just add a SWI-Prolog dictionary / JSON key-value pair for every imported and inherited clauses of a Logtalk object into its serialization? Is exchangin...
by Paulo Moura
Thu Sep 10, 2020 10:53 am
Forum: Help
Topic: Specifying and enforcing type constraints on object predicates?
Replies: 1
Views: 911

Re: Specifying and enforcing type constraints on object predicates?

The library "type" object provides building blocks for type-checking predicate arguments: https://logtalk.org/manuals/libraries/types.html https://logtalk.org/library/type_0.html Another option, using the type-checking predicates mentioned above, is to use the events and monitors to watch for messag...
by Paulo Moura
Tue Sep 01, 2020 7:31 am
Forum: Announcements
Topic: Logtalk 3.41.0 Stable
Replies: 0
Views: 999

Logtalk 3.41.0 Stable

Hi, Logtalk 3.41.0 is now available for downloading at: https://logtalk.org/ This release adds new linter checks for tautologies and falsehoods, adds a new convenience error throwing built-in method for uninstantiation errors, provides updated support for Tau Prolog, provides library fixes for Quint...
by Paulo Moura
Thu Aug 27, 2020 9:07 am
Forum: Help
Topic: Term expansion conflicts with SWI libraries and addons
Replies: 1
Views: 1125

Re: Term expansion conflicts with SWI libraries and addons

1. Is there a more elegant solution to include http server functionality within Logtalk? The issue you found is caused by the Logtalk message sending control construct, ::/2, being handled as a predicate by (SWI-)Prolog and thus not being correctly processed when used as a closure in the http_handl...
by Paulo Moura
Sun Aug 23, 2020 3:42 pm
Forum: Wish list
Topic: Something like Pengines in SWI Prolog
Replies: 7
Views: 3345

Re: Something like Pengines in SWI Prolog

Prolog systems map a thread to a POSIX thread (or a POSIX thread emulation on Windows operating-systems). These are sometimes referred to as "heavy" threads. I'm not really familiar with Erlang but my understanding is that Erlang threads, sometimes called "green" threads, are much more light-weight ...
by Paulo Moura
Thu Aug 20, 2020 9:15 pm
Forum: Wish list
Topic: Something like Pengines in SWI Prolog
Replies: 7
Views: 3345

Re: Something like Pengines in SWI Prolog

Logtalk threaded engine predicates can also be used when running with ECLiPSe (which is also open source) as the backend.
by Paulo Moura
Thu Aug 20, 2020 4:09 pm
Forum: Wish list
Topic: Something like Pengines in SWI Prolog
Replies: 7
Views: 3345

Re: Something like Pengines in SWI Prolog

Logtalk multi-threading features requires a backend Prolog system implementing the ISO draft proposal for threads. The only systems doing it and doing reliably are ECLiPSe and SWI-Prolog (but the lack of a few key predicates means that ECLiPSe can only run the multi-threading engines examples, not t...
by Paulo Moura
Wed Jul 29, 2020 10:25 am
Forum: Wish list
Topic: Something like Pengines in SWI Prolog
Replies: 7
Views: 3345

Re: Something like Pengines in SWI Prolog

This have been discussed a few times in the past. I once made a proposal for standardizing Prolog foreign language interfaces at the Prolog Common initiative. But there was no followup and the Prolog Common initiative eventually died. Only a few Prolog backends provide a sockets interface. There's n...