Re: Synchronized Predicate Call

"Benjamin Johnston" wrote in message
news:4366f929@xxxxxxxxxxxxxxxxxxxxxxxx
>
> The poster is possibly after a predicate that executes as a critical
> section in a multithreaded application (i.e., like Java's "synchronized"
> keyword).

Maybe.

> In which case s/he should possibly look at using with_mutex/2 and
> mutex_create/1.

Section 15, Maintenance Models, in Bowen/Breuer/Lano's
paper "A Compendium of Formal Techniques for Software
Maintenance" http://www.jpbowen.com/pub/sum-sej.pdf (223k)
may also be relevant. In particular, the partial sentence
"... in terms of synchronized Predicate Nets, and was
easily implemented in Prolog." would seem to indicate a
minimum level of applicability to Prolog.

--
Mail sent to this email address is deleted unread
on the server. Please send replies to the newsgroup.


.

Relevant Pages

  • Re: Sublists question
    ... I do not really get what the predicate means or does. ... >>helps just to write the predicate out clearly in natural language, ... >>then translate into Prolog. ... more as a functional programming language than as a logic ...
    (comp.lang.prolog)
  • Re: Prolog module system
    ... I think prolog offers so much freedom that one can build its own ... Both modules define a member/2 predicate, ... this leads to a name conflict. ... shaky ground as current module systems (look at the issues with e.g. ...
    (comp.lang.prolog)
  • Re: Prolog, memory management and memory leaks
    ... predicate is executed that solves constraint problem. ... In some circumstances, this server leaks memory. ... "Understanding Memory Management in Prolog ... There is not just one garbage collector in Prolog. ...
    (comp.lang.prolog)
  • Re: Prolog module system
    ... my experiment with oop and modules has almost reach a point ... On the other hand, when I came to Prolog as a logic programming language, I ... Consider the length/2 predicate. ... OO systems have much more complex built-in lookup rules. ...
    (comp.lang.prolog)
  • Re: Prolog module system
    ... We talked a bit about this on the Prolog standardization forums but is ... Both modules define a member/2 predicate, ... this leads to a name conflict. ... shaky ground as current module systems (look at the issues with e.g. ...
    (comp.lang.prolog)