Yes, I suppose that a straightforward "brute force" implementation would easily get out of hand in terms of how many states and how many combinations of states exist! After all, you could simply ask it to find a and b such that a*b == some very large prime number.

But, you can do the same thing with a couple lines of Prolog. You can also write a "perfect" chess program in Pascal, but it will take forever to make its first move.

There are systems that do constraint-based programming, such as Trilogy, Prolog, and CLP. When used correctly, it's no slower than the code you'd have to write to solve the problem anyway.

I agree that this module is too slow for anything significant, in terms of modeling solutions based on that kind of logic. I suppose it's exactly what you want if you are in fact writing programs for quantum mechanical physics work. But, call it a proof-of-concept of Entanglement of variables.

—John

In reply to Re: Re: Meditation on Quantum::Entanglement by John M. Dlugosz
in thread Meditation on Quantum::Entanglement by John M. Dlugosz

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post, it's "PerlMonks-approved HTML":


  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Titles consisting of a single word are discouraged, and in most cases are disallowed outright.
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, details, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, summary, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.