Re: stupid question

Philip Haddad wrote:
> Screamer????

Yup. http://www.cliki.net/Screamer

It's pretty cool: tell Lisp what constraints a correct solution must
have, and it'll go and find a solution for you, if any. (Or you can
find all solutions, or just some, I suppose.)

So the single constraint I want to make is that...
(<= a b c) is true.

Given that (<= a b c) is true, I then want to return b.


Tayssir

.

Relevant Pages

  • Re: Common Lisp from a Unix perspective - barriers to using CL
    ... "They don't know how to walk yet - they shouldn't be deluding themselves that there are "constraints" on what kind of running shoes they wear to crawl around in. ... Since the libre lisps do not come with an editor and must be configured to work with one, and the commercial free trials do come with an integrated lisp aware editor, this is one less thing to worry about. ... How could there be any other "constraints" besides a working lisp-aware editor and an ANSI conformant implementation? ...
    (comp.lang.lisp)
  • Re: "no variable or argument declarations are necessary."
    ... I don't know much about lisp. ... LISP), lists, are a big problem to type-checking if they aren't ... all type-inferencing boils down to collecting constraints on ... specialized code, and the compiler will puke on you. ...
    (comp.lang.python)
  • Re: An Arc Tangent
    ... from constraints to lisp to scheme to java... ...
    (comp.lang.lisp)
  • Re: An Arc Tangent
    ... from constraints to lisp to scheme to java... ... Hopefully the income trend is the inverse. ...
    (comp.lang.lisp)
  • Re: nyc lisp conf: WAY too expensive! (4me) How to *turn-away* lisp-interest!
    ... It looks like the head of their Constraints Group worked on Scwm (a ... So, yeah, the dot-com winter (please let it happen please ... let it happen) and the reascendance of Lisp should bode well for you. ...
    (comp.lang.lisp)