CS-Assignment-3: Logic Programming Solution

$30.00 $24.00

(Read all the instructions carefully & adhere to them.) A, B and C belong to the Himalayan Club. Every member in the club is either a mountain climber or a skier or both. A likes whatever B dislikes and dislikes whatever B likes. A likes rain and snow. No mountain climber likes the rain. Every…

5/5 – (2 votes)

You’ll get a: zip file solution

 

Description

5/5 – (2 votes)

(Read all the instructions carefully & adhere to them.)

  1. A, B and C belong to the Himalayan Club. Every member in the club is either a mountain climber or a skier or both. A likes whatever B dislikes and dislikes whatever B likes. A likes rain and snow. No mountain climber likes the rain. Every skier likes snow. Write a Prolog program to implement the above facts and verify if there is a member who is a mountain climber and not a skier?

  1. Write a Prolog program to implement a 2-bit full adder and then verify if

    1. the circuit meets the specifications?

    1. there are faults?

    1. they are locatable?

Consider the following functions and predicates:

type(X) : takes values AND, OR NOT and XOR, where X is a

gate

in(n, X) : the value of signal at the nth input of gate X

out(X) : output of gate X

signal(t) : state at terminal t = 1/0

connected(t,t): true, if terminal t and t are connected

1 2 1 2

Instructions:

Group-NUMBER Assignment-NUMBER.zip

CS-Assignment-3: Logic Programming Solution
$30.00 $24.00