Dennis Darland's Philosophy in Prolog and Life

  1. FACTS
    1. Common Sample Facts for My Philosophy
    2. Common Facts on Philosopher's Terminology
  2. RULES
    1. Common Rules
    2. Swi Prolog Rules
    3. WildLife Rules
  3. QUERIES
    Ruby .bs -> prolog & .bs -> life query translator
    1. Introduction and echoing
    2. Understanding
    3. Belief
    4. Understanding of Understanding
    5. Understanding of Belief and Belief of Belief
    6. Propositions
    7. Truth
    8. Opacity
    9. Intensionality and Extensionality
    10. Philosophical Terminology
  4. PROLOG OUTPUT
    1. Introduction and echoing
    2. Understanding
    3. Belief
    4. Understanding of Understanding
    5. Understanding of Belief and Belief of Belief
    6. Propositions
    7. Truth
    8. Opacity
    9. Intensionality and Extensionality
    10. Philosophical Terminology
  5. LIFE OUTPUT
    1. Introduction and echoing
    2. Understanding
    3. Belief
    4. Understanding of Understanding
    5. Understanding of Belief and Belief of Belief
    6. Propositions
    7. Truth
    8. Opacity
    9. Intensionality and Extensionality
    10. Philosophical Terminology
This page has been visited times since April 30, 2018.