Author Topic: My Wild LIFE - Logically  (Read 2108 times)

Dennis Darland

  • Administrator
  • Russellian
  • *****
  • Posts: 460
  • Vice President, Electronic Projects, BRS
    • View Profile
    • Dennis Darland's Personal Home Page
My Wild LIFE - Logically
« on: March 08, 2015, 08:12:39 PM »
It's a Logic Programing language, with functions and object oriented like inheritance.

Link to info on my Wild Life Port - Runs under SUSE Linux or cygwin under Windows
Source code tarball may be downloaded.
http://dennisdarland.com/my_sw_projects/index.html#LIFE
The wild_life manual
http://dennisdarland.com/my_sw_projects/Life/handbook.pdf

Note: I have been trying to organize my web pages better and improve the HTML.
 
"It is a commonplace that happiness is not best achieved by those who seek it directly; and it would seem that the same is true of the good."
BR, "Mysticism and Logic" in CPBR Vol. 8, p. 48.

Jack Clontz

  • Russellian
  • ****
  • Posts: 499
    • View Profile
Re: My Wild LIFE - Logically
« Reply #1 on: March 09, 2015, 04:29:25 AM »


"It's a Logic Programing language, with functions and object oriented like inheritance."

Is Dennis trying to show that Wittgenstein is wrong in saying that there cannot be a "private language"?  Would this solipsistic, idiolectic language convey meaning if "object-oriented" were used in lieu of "object oriented"? Presupposing biological inheritance is meant as the basis for analogy, just how is biological inheritance "object oriented"?  If social inheritance is meant, are we to take it to refer to Dawkins' mythical "meme"? In any case, we are given nary a clue as how to interpret what is said: to my mind at least, it is opaque en toto.

Perhaps Dennis' usage here involves a deictic expression.  If so, however, this should be signaled to the reader so that she will expect full explanation or elucidation in the material being referenced. 

On the other hand, I fully own my difficulty here may well be a function of my ignorance and incapacity.  If so, I regret this.  In such moments, there is no recourse to acknowledging defeat and bolting entire the repugnant and malodorous bolus of admission of inferiority without any semblance of regurgitation.

Regards, Jack Clontz in Bangkok, Thailand
« Last Edit: March 09, 2015, 04:42:31 AM by Jack Clontz »

Dennis Darland

  • Administrator
  • Russellian
  • *****
  • Posts: 460
  • Vice President, Electronic Projects, BRS
    • View Profile
    • Dennis Darland's Personal Home Page
Re: My Wild LIFE - Logically
« Reply #2 on: March 09, 2015, 05:08:56 AM »
See http://en.wikipedia.org/wiki/Object-oriented_programming  You would need to study Jerry Fodor for info on "private languages." See The Language of Thought

From the Introduction to Life's handbook:
"LIFE is a programming language originally conceived by Hassan A¨ıt-Kaci and his colleagues
at MCC, in Austin, Texas [4, 5, 3]. It is a synthesis of three different programming paradigms:
logic programming, functional programming and object-oriented programming.2 LIFE is a
declarative logic-based language that can be seen as a constraint language".

http://dennisdarland.com/my_sw_projects/Life/handbook.pdf

The other object-oriented programming languages in the Wikipedia article are all procedural rather than declarative.

On Inheritance see:
https://en.wikipedia.org/wiki/Inheritance_(object-oriented_programming)


Bertrand and Prolog are also declarative languages. Leler claims his - "Bertrand" was the first.
See http://dennisdarland.com/my_sw_projects/index.html#BERT on Bertrand
Also http://leler.com/wm/index.html
And https://en.wikipedia.org/wiki/Bertrand_(programming_language)

And http://en.wikipedia.org/wiki/Prolog on Prolog

And https://en.wikipedia.org/wiki/G%C3%B6del_(programming_language)
On yet another declarative language
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/other/goedel/0.html

I don't think these other three are considered "object-oriented."

On Functional Programming: (which Life is, and Lisp, and Prolog)
https://en.wikipedia.org/wiki/Functional_programming

On Logic Programming (which Life is and Prolog and Goedel)
https://en.wikipedia.org/wiki/Logic_programming

On Procedural Programming (which Life is not, but c is)
https://en.wikipedia.org/wiki/Procedural_programming

On Declarative Programming(which Life, Bertrand, Prolog and Goedel are)
https://en.wikipedia.org/wiki/Declarative_programming

On Constraint Programming - Leler's book Constraint Programming Languages was published in 1988 - This article says the 1st work was done in 1987. The oldest reference that I see given is from 2002.
https://en.wikipedia.org/wiki/Constraint_programming
« Last Edit: March 09, 2015, 06:15:13 AM by Dennis Darland »
"It is a commonplace that happiness is not best achieved by those who seek it directly; and it would seem that the same is true of the good."
BR, "Mysticism and Logic" in CPBR Vol. 8, p. 48.

Jack Clontz

  • Russellian
  • ****
  • Posts: 499
    • View Profile
Re: My Wild LIFE - Logically
« Reply #3 on: March 12, 2015, 11:23:53 AM »


Dennis:  Thanks very much for giving me all of this information and providing guidance.  You are most kind to take time to do this. However, I cannot promise to go through much of it now and perhaps a good deal is beyond my ken in view of a paucity of training.  On the other hand, I will safeguard your informative and helpful posting.  I remain grateful for your efforts to enlighten me.

Regards, Jack Clontz in Bangkok, Thailand

Dennis Darland

  • Administrator
  • Russellian
  • *****
  • Posts: 460
  • Vice President, Electronic Projects, BRS
    • View Profile
    • Dennis Darland's Personal Home Page
Re: My Wild LIFE - Logically
« Reply #4 on: June 20, 2016, 08:14:19 PM »
I've made more improvements to my port of the wild_life language. (which is much like prolog - except it makes many things easier).
I discovered some bugs in going back to work on a representation of my philosophy.
My philosophy is too complex to be explained in any simple way in English.
I have made some attempts at that before.
It does involve the rejection of 'private' languages in some senses and there acceptance in other senses.
At any rate, I have much more hope to get wild_life working properly than I do the language "Russell" which I had been working on lately.
It already probably works well enough for the purposes of the illustration of my philosophy.
It comes with a Test Suite of 325 tests of which it now passes 135.
However, I am not sure that, in some cases, the current output is not more correct than the reference output.
In fact, in the only case I have examined very closely, I concluded just that & updated the reference output.
I have way to restore original if I decide I was wrong.
The examination of the test cases is very time consuming.
My work, so far, is at:

http://dennisdarland.com/my_sw_projects/index.html#LIFE
"It is a commonplace that happiness is not best achieved by those who seek it directly; and it would seem that the same is true of the good."
BR, "Mysticism and Logic" in CPBR Vol. 8, p. 48.

Dennis Darland

  • Administrator
  • Russellian
  • *****
  • Posts: 460
  • Vice President, Electronic Projects, BRS
    • View Profile
    • Dennis Darland's Personal Home Page
Re: My Wild LIFE - Logically
« Reply #5 on: June 28, 2016, 08:29:46 PM »
I just found "the Meaning of Life":
http://hassan-ait-kaci.net/pdf/meaningoflife.pdf

Also I already had the Wildlife handbook:
http://dennisdarland.com/my_sw_projects/Life/handbook.pdf

I'm making good progress.
"It is a commonplace that happiness is not best achieved by those who seek it directly; and it would seem that the same is true of the good."
BR, "Mysticism and Logic" in CPBR Vol. 8, p. 48.

Dennis Darland

  • Administrator
  • Russellian
  • *****
  • Posts: 460
  • Vice President, Electronic Projects, BRS
    • View Profile
    • Dennis Darland's Personal Home Page
Re: My Wild LIFE - Logically
« Reply #6 on: July 15, 2016, 12:49:09 AM »
I have a non X11 version of Wildlife passing a thorough Test Suite. (Version 2.23)

http://dennisdarland.com/my_sw_projects/index.html#LIFE_PORT_23

A X11 version (2.24) compiles but I do not have it working.

More info Including bibliography, and documentation is at:

http://dennisdarland.com/my_sw_projects/index.html#LIFE

I plan to use it to represent my philosophy - which is, in part, influenced by Russell.
"It is a commonplace that happiness is not best achieved by those who seek it directly; and it would seem that the same is true of the good."
BR, "Mysticism and Logic" in CPBR Vol. 8, p. 48.

Dennis Darland

  • Administrator
  • Russellian
  • *****
  • Posts: 460
  • Vice President, Electronic Projects, BRS
    • View Profile
    • Dennis Darland's Personal Home Page
Re: My Wild LIFE - Logically
« Reply #7 on: July 19, 2016, 06:48:01 AM »
I have added more to the bibliography on wild_life that I have. BR is quoted in "Efficient Implementation of Lattice Operations" by Hassan Ait-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr.

http://dennisdarland.com/my_sw_projects/index.html#LIFE_BIB_HAVE
"It is a commonplace that happiness is not best achieved by those who seek it directly; and it would seem that the same is true of the good."
BR, "Mysticism and Logic" in CPBR Vol. 8, p. 48.

Dennis Darland

  • Administrator
  • Russellian
  • *****
  • Posts: 460
  • Vice President, Electronic Projects, BRS
    • View Profile
    • Dennis Darland's Personal Home Page
Re: My Wild LIFE - Logically
« Reply #8 on: July 27, 2016, 08:41:51 PM »
I've found a friendlier introduction to LIFE.

http://hassan-ait-kaci.net/pdf/life.pdf

Even more have been added to my bibliography:

http://dennisdarland.com/my_sw_projects/index.html#LIFE_BIB_HAVE
"It is a commonplace that happiness is not best achieved by those who seek it directly; and it would seem that the same is true of the good."
BR, "Mysticism and Logic" in CPBR Vol. 8, p. 48.

Dennis Darland

  • Administrator
  • Russellian
  • *****
  • Posts: 460
  • Vice President, Electronic Projects, BRS
    • View Profile
    • Dennis Darland's Personal Home Page
Re: My Wild LIFE - Logically
« Reply #9 on: July 30, 2016, 01:56:49 PM »
I was stuck on how to express something in Wildlife (I knew how in prolog). Anyway, Hassan Aït-Kaci Hassan, one of the original authors of Wildlife, has come to the rescue and explained it to me. Meanwhile, I had made progress using SWI Prolog. I now expect to express my ideas in both. Hassan has expressed appreciation for my work on Wildlife, as he said he could no longer get it to work, when I informed him of my efforts (and success) porting it.

Dennis

"It is a commonplace that happiness is not best achieved by those who seek it directly; and it would seem that the same is true of the good."
BR, "Mysticism and Logic" in CPBR Vol. 8, p. 48.