Has anyone every looked at logical programming yet? I am interested in all sorts of programming paradigms. Logical programming looks kind of neat. Apparently it can be used to generate you own language parson. I found a fairly gentle introduction to prolog at:

It gives some simple code to some neat problems
http://www.csupomona.edu/~jrfisher/www/pro...l/contents.html
You can also download a free compiler at:
http://www.freeprogrammingresources.com/lispcompiler.html

Anyone ever look at visual logic before. It looks pretty neat and should make it easy to understand a paragraph that contains complicated logic. It can also be used to easily identify contradictions. Apparently as an alternative to logical programming you can program visually using visual logic. It looks pretty neat. Check it out:



http://www.csupomona.edu/~jrfisher/www/log...sual_logic.html

Me myself. This I just found out about it. I will probably do some more reading on it sometime later. Anywone know any good links?

I've done some Prolog.

While it was a nice learning experience, I didn't really like the language. Perhaps I just tried to do things in strange ways but I remember having problems with the implementation I used, which had strange bugs (like the built-in concat function not working).

But right now I'm working with a PhD student on a multi-agent system, and while the bulk of the system will be "normal" OO, we're considering using something which lets us write "what" instead of "how" for the agents themselves.