/prog/ - Fuck yeah, Prolog!

Name: Anonymous 2008-09-09 17:27

good-enough(Guess, Value) :- abs(Guess**2 - Value) < 0.000001 .



improve-guess(Guess, Value, NewGuess) :- NewGuess is (Guess + (Value/Guess))/2 .



guess-root(Value, Guess, Result) :-

  good-enough(Guess, Value) -> Result is Guess;

  improve-guess(Guess, Value, NewGuess),

  guess-root(Value, NewGuess, Result).



sqrt(X, Y) :- guess-root(X, 1, Y).

Name: Anonymous 2008-09-09 17:47

When was the last time we had a prolog thread?

Name: Anonymous 2008-09-09 17:50

guess-root(Value, Guess, Result) :-

  (  good-enough(Guess, Value) 

  -> Result is Guess

  ;  improve-guess(Guess, Value, NewGuess),

     guess-root(Value, NewGuess, Result)

  ).

Name: Anonymous 2008-09-09 17:51

>>2
August 18th.

Name: Anonymous 2008-09-10 7:24

?- thread(prolog).
YES.

Name: Anonymous 2008-09-10 10:32

guessRoot value =

   until (\guess -> abs (guess^2 - value) < 10^^(-6)) 

         (\guess -> (guess + value / guess) / 2) 

         1

Name: Anonymous 2008-09-10 11:04

hasskel =
faggotry (\yes -> yes)
(\fucking -> yes)
faggotry

Name: Anonymous 2008-09-10 11:09

>>7
<--- /lounge/ is that way

Name: Anonymous 2008-09-10 11:20

>>7
This is not how you spell The World's Leading Fictional Language's Haskell's name.

Name: Anonymous 2008-09-10 11:45

>>9
Haskel doesn't even deserve to have its name spelled properly.

Name: Anonymous 2008-09-10 12:14

>>10
Don't be threatened by Haskell's superiority, nigger. Just accept your little pet language, whatever it is, is shit next to Haskell, and make the switch.

Name: Anonymous 2008-09-10 13:29

                       //`'''```,

             o        // LISP   `.,

       ,....OOo.   .c;.',,,.'``.,,.`

    .'      ____.,'.//

   / _____  \___/.'

  | / ||  \\---\|

  ||  ||   \\  ||

  co  co    co co

Name: Anonymous 2008-09-10 13:57

>>10
hax my anus, fag

Name: Anonymous 2008-09-14 7:16

Prolog is fucking zen.

Name: Anonymous 2008-09-14 10:12

>>14
Is it? Why?

Name: Anonymous 2008-09-14 10:18

                       //`'''```,

             o        // Java   `.,

       ,....OOo.   .c;.',,,.'``.,,.`

    .'      ____.,'.//

   / _____  \___/.'

  | / ||  \\---\|

  ||  ||   \\  ||

  co  co    co co

Name: Anonymous 2008-09-14 22:14

>>11
Q > Haskell

primes           = sieve (ints 2);

ints N           = bin N (ints (N+1));

sieve (bin X Xs) = bin X (sieve (filter (ndivby X) Xs));

ndivby M N       = N mod M <> 0;

Name: Anonymous 2008-09-15 0:24

>>17
So ``Q'' is basically Haskell with less sensible capitalization? How quaint.

primes       = sieve [2..]

sieve (x:xs) = x : sieve (filter (not . divBy x) xs)

divBy m n    = n `mod` m == 0

Name: Anonymous 2008-09-15 0:44

>>18
since when is javaCase "sensible"?

Name: Anonymous 2008-09-15 1:19

>>19
For as long as ``faggot quotes'' have been "proper".

Name: Anonymous 2008-09-15 3:34

McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08 McCAIN/PALIN '08

Name: Anonymous 2008-09-15 3:39

>>15
Prolog is fucking zen.
Is it? Why?
Because it states things elegantly without actually doing anything.

Name: Anonymous 2009-03-06 12:13

Mccain/palin?

Name: Anonymous 2010-12-27 10:04

Name: Anonymous 2013-03-18 18:49

snail(X, Xs) :- snail(X), snail(X, Xs)

Fuck yeah, Prolog!

1 Name: Anonymous 2008-09-09 17:27

2 Name: Anonymous 2008-09-09 17:47

3 Name: Anonymous 2008-09-09 17:50

4 Name: Anonymous 2008-09-09 17:51

5 Name: Anonymous 2008-09-10 7:24

6 Name: Anonymous 2008-09-10 10:32

7 Name: Anonymous 2008-09-10 11:04

8 Name: Anonymous 2008-09-10 11:09

9 Name: Anonymous 2008-09-10 11:20

10 Name: Anonymous 2008-09-10 11:45

11 Name: Anonymous 2008-09-10 12:14

12 Name: Anonymous 2008-09-10 13:29

13 Name: Anonymous 2008-09-10 13:57

14 Name: Anonymous 2008-09-14 7:16

15 Name: Anonymous 2008-09-14 10:12

16 Name: Anonymous 2008-09-14 10:18

17 Name: Anonymous 2008-09-14 22:14

18 Name: Anonymous 2008-09-15 0:24

19 Name: Anonymous 2008-09-15 0:44

20 Name: Anonymous 2008-09-15 1:19

21 Name: Anonymous 2008-09-15 3:34

22 Name: Anonymous 2008-09-15 3:39

23 Name: Anonymous 2009-03-06 12:13

25 Name: Anonymous 2010-12-27 10:04

26 Name: Anonymous 2013-03-18 18:49