Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

Functional and Logic Programming

Name: Anonymous 2011-07-04 9:21

What are some mathematics subfields that go well with these paradigms?

My final objective is in a broad sense, AI.

Name: Anonymous 2011-07-04 9:39

Good luck with P!=NP.

Name: Anonymous 2011-07-04 9:43

Lisps are good for algebra and other symbolic-transformations. If you invent a dialect of Lisp that works with fuzzy symbols, then it would be good for AI.

Prolog isn't really good at anything, as its functionality can be replaced with Lisp's AMB operator. In general, using logic programming for AI is a dead-end idea.

Name: Anonymous 2011-07-04 9:52

>>3
Last time people tried Lisp for that, AI winter happened. Do you really want it to happened again?

Name: Anonymous 2011-07-04 10:10

>>4
Except that they tried Prolog.

Name: Anonymous 2011-07-04 10:27

>>3
as its functionality can be replaced with Lisp's AMB operator.
AMB can't `cut'. But yes, you can have Prolog in Lisp. (http://docs.racket-lang.org/racklog/index.html)

Name: Anonymous 2011-07-04 11:08

Any way of implementing the amb operator using one-shot call/cc?

Name: Anonymous 2011-07-04 14:26

>>7
go fuck yourself

Name: Anonymous 2011-07-04 14:42

>>6
Didn't Graham's "On Lisp" explained how one can implement cut?

Name: Anonymous 2011-07-04 15:08

>>8
go fuck yourself yourself, faggot

Name: Anonymous 2011-07-04 17:02

>>9
he reads PG

Functional and Logic Programming

1 Name: Anonymous 2011-07-04 9:21

2 Name: Anonymous 2011-07-04 9:39

3 Name: Anonymous 2011-07-04 9:43

4 Name: Anonymous 2011-07-04 9:52

5 Name: Anonymous 2011-07-04 10:10

6 Name: Anonymous 2011-07-04 10:27

7 Name: Anonymous 2011-07-04 11:08

8 Name: Anonymous 2011-07-04 14:26

9 Name: Anonymous 2011-07-04 14:42

10 Name: Anonymous 2011-07-04 15:08

11 Name: Anonymous 2011-07-04 17:02