Re: Opinion on "biconditional" predicate?

From: Bart Demoen (bmd_at_cs.kuleuven.ac.be)
Date: 10/11/03 

Date: Sat, 11 Oct 2003 20:19:16 +0200

Robert Oschler wrote:

> Re: metacalls, what's a good "workaround" or where's a good
> example/document/web page to get me thinking in the right direction?

"workaround" what ?
You want to avoid using the metacall ?
Then here is a possibility (but it invites other solutions to
your commutativity problem):

If you want some predicate foo/2 to be "metacallable", then define:

    :- multifle my_call/1.

    my_call(foo(X,Y)) :- foo(X,Y).

and instead of using (in your definition of bicond/2) the goal Term1, use my_call(Term1)
... and pray that multifile is implemented properly :-)

I dislike multifile a lot (for good reasons of course :-) - but it works in most implementations.

Oh, and predicate module systems pose a challenge again :-(

Cheers

Bart

Relevant Pages

  • Re: Multicast DNS and the ".local" domain
    ... > advised that their lives may be easier if they avoid using the suffix ... > I stumbled into this because after I upgraded a Debian Linux system, ... This workaround may also work for other ... mDNSResponder implementations. ...
    (microsoft.public.windows.server.active_directory)
  • License Checking XP Home Edition
    ... This microsoft support site has the workaround for ... >A problem is preventing Windows from accurately checking ... >I want to avoid a repair reinstall coz I want to avoid ...
    (microsoft.public.windowsxp.general)
  • Re: Pinging Ken Halter
    ... with True/False) and you posted a workaround for that. ... I suppose it's okay if you're using it when checking properties of Controls, which itself is very slow, but for any code where speed is important it is best to avoid IIf. ...
    (microsoft.public.vb.general.discussion)
  • Re: div height issue
    ... i was trying to avoid tables to accomplish this effect (despite the ... the table solution you provided is a viable "workaround" for my ... Prev by Date: ...
    (alt.html)