Please show me the F# code and screenshots of the code running W.pdf

•

0 likes•2 views

The document outlines three F# programs to write: 1) An arithmetic calculator that takes two numbers from the user and performs addition, subtraction, multiplication and division; 2) An array program that creates an array of 10 integers, prints the array, finds the sum and minimum/maximum values; 3) A list program that creates a list of 7 strings, prints the list, finds the length, and sorts the list alphabetically. Screenshots of each program running are requested.

More from amarndsons

PLEASE USE TuProlog for this. Also the facts need to be Binary Facts. No screenshot please. You have been charged to develop a computational family tree for the goddesses and gods and in Greek mythology. The figure shows the family relations of 20 individuals. 1. Gaea and Uranus were the two primordial deities (i.e., they are the only two who do not have any parents). Uranus and Gaea had three off-springs: Cronus, Dione, and Rhea. 2. Rhea and Cronus had six off-springs: Hestia, Demeter, Hera, Hades, Poseidon, and Zeus. 3. Hera and Zeus were the parents of three children: Ares, Hebe, and Ilithyia. 4. Demeter and Zeus had one child together: Persephone. 5. Dione and Zeus had one off-spring, Aphrodite. 6. Aphrodite and Ares had one off-spring Harmonia. 7. Kadmos and Harmonia had one off- spring, Semele. 8. Semele and Zeus had one off-spring: Dionysus. Task 1: Create a model of this family in Prolog. Start with facts (i.e., ground axioms) about the family. For the ground axioms choose a consistent scheme of BINARY predicates. Develop the facts such that there are no redundancies in the facts. Deliver a complete copy of your facts in correct Prolog syntax. Task 2: Analyze the properties and potential dependencies of the following family relations: parent, child, silbling grandparent grandchild greatgrandchild Task 3: Add rules (i.e., logical axioms) for the six family relations (Task 2), using only first- order predicate calculus notation. The rules should be able to determine the relations (as defined by you, but consistent with your cultural norm) for the following concepts). If you used one as your base predicates, then you do not need a rule for that. Define these rules as concisely as possible. It will help if you consult the properties and dependencies of these family relations (Task 3). You do not need to use the setoff predicate to eliminate duplicates in query results. For all rules that you write, use only basic Prolog statements as introduced in class (i.e., only Horn clauses, with each rule having a single consequent predicate and all antecedent predicates linked by commas representing conjunctions). Do not use any other syntax, even if Prolog parses and processes it. Deliver a complete copy of your rules in correct Prolog syntax. Show one query per relationship, and the results of those queries when executed in Prolog. Task 4: Add a discussion of up to one page (double spaced) that addresses why you chose your scheme for the ground axioms. Elaborate what could have been at least one alternative to your chosen design. Provide arguments for why you did not choose that alternative. *PLEASE TAKE A LOOK AT THE IMAGE AND THE COMMENT(In blue ink) AND PROVIDE THE RIGHT ANSWERS TO THE QUESTIONS ACCORDING TO THE COMMENTS IN the blue ink. binary_fact(pr_deity, gaea, uranus). binary_fact(pr_deity, uranus, gaea). \% Chirdren of Uranus and Gaea binary_fact(parent, uranus, cronos) binary_fact(parent, uranus, dione). binary_fact(parent, uranus, rhea).

PLEASE USE TuProlog for this. Also the facts need to be Binary Fac.pdf

Please show me the F# code and screenshots of the code running W.pdf

Recommended

Recommended

More Related Content

More from amarndsons

More from amarndsons (18)

Recently uploaded

Recently uploaded (20)

Please show me the F# code and screenshots of the code running W.pdf