Yioop - PHP Search Engine

-- Oct 30 In-Class Exercise Thread

1) S(x) <- T(x,y) y<x

2) OrderedPairs(2, 3) <-. OrderedPairs(2, 4) <-. OrderedPairs(3, 4) <-.

3) Good(x, y) <- goodFood(x, y), y > 3

1) S(x) <- T(x,y) y<x 2) OrderedPairs(2, 3) <-. OrderedPairs(2, 4) <-. OrderedPairs(3, 4) <-. 3) Good(x, y) <- goodFood(x, y), y > 3

-- Oct 30 In-Class Exercise Thread

 1. ReuseBottle(s) <- Hydroflask(s), Thermoflask(s), NOT Arrowhead(s), s > 20. 
 2. Num(1) <-.
 Num(2) <-.
 Num(3) <-.
 Num(4) <-.
 Num(5) <-.
 OrderPair (x, y) <- Num(x), x>1, Num(y), y < 5, x < y.
 3. Pairs(x, y) <- OrderPair (x, y), y > 3.

(Edited: 2019-10-31)

1. ReuseBottle(s) <- Hydroflask(s), Thermoflask(s), NOT Arrowhead(s), s > 20. 2. Num(1) <-. Num(2) <-. Num(3) <-. Num(4) <-. Num(5) <-. OrderPair (x, y) <- Num(x), x>1, Num(y), y < 5, x < y. 3. Pairs(x, y) <- OrderPair (x, y), y > 3.

-- Oct 30 In-Class Exercise Thread

1) P(x,y) <- Q(x,z), NOT R(x,y) 2) values(2,3)

   values(2,4)
   values(3,4)

3) values(x,3) <- number(x,y), y>3

1) P(x,y) <- Q(x,z), NOT R(x,y) 2) values(2,3) values(2,4) values(3,4) 3) values(x,3) <- number(x,y), y>3

-- Oct 30 In-Class Exercise Thread

1. A(x) <- B(x), NOT C(x), x > 5 2. OP(2,3) <-. OP(2,4) <-. OP(3,4) <-. 3. GOP(x,y) <- OP(x, y), y > 3

-- Oct 30 In-Class Exercise Thread

1. P(x,y) <- Q(x,z), NOT R(x)

2. OrderedPairs(2, 3) <-. OrderedPairs(2, 4) <-. OrderedPairs(3, 4) <-

3. GreaterOrderedPairs(x, y) <- OrderedPairs(x, y), y > 3

1. P(x,y) <- Q(x,z), NOT R(x) 2. OrderedPairs(2, 3) <-. OrderedPairs(2, 4) <-. OrderedPairs(3, 4) <- 3. GreaterOrderedPairs(x, y) <- OrderedPairs(x, y), y > 3

-- Oct 30 In-Class Exercise Thread

1. A(x,y) <- B(x, y, z), z > 1, not Q(y) 2. Number(3,4), Number(4,5)

  3.  R(x, y) <- S(x, y), y > 3

1. A(x,y) <- B(x, y, z), z > 1, not Q(y) 2. Number(3,4), Number(4,5) 3. R(x, y) <- S(x, y), y > 3

-- Oct 30 In-Class Exercise Thread

 1. 
 F(x, y) <- x < y, NOT R(x, y)

 2. 
 pair(2, 3).
 pair(2, 4).
 pair(3, 4).

 3.
 res(x, y) <- pair(x, y), y>3.

1. F(x, y) <- x < y, NOT R(x, y) 2. pair(2, 3). pair(2, 4). pair(3, 4). 3. res(x, y) <- pair(x, y), y>3.

-- Oct 30 In-Class Exercise Thread

1. SUV(year,model)<-Vehicle(year, type, model, color), year > 2014, NOT truck(year, model). 2. OrderedPair(2,3).

   OrderedPair(3,4).
   OrderedPair(2,4).

3. GreaterThanThree(x,y)<-OrderedPair(x,y), y>3.

1. SUV(year,model)<-Vehicle(year, type, model, color), year > 2014, NOT truck(year, model). 2. OrderedPair(2,3). OrderedPair(3,4). OrderedPair(2,4). 3. GreaterThanThree(x,y)<-OrderedPair(x,y), y>3.

-- Oct 30 In-Class Exercise Thread

1. totalWeight(X, Y, T) <- weight(X, W1), weight(Y, W2), NOT(same(X, Y)), T = W1 + W2.

2. Within(2)

Within(3)

Within(4)

YLessThanEqualX(2,2)

YLessThanEqualX(3,2)

YLessThanEqualX(3,3)

YLessThanEqualX(3,4)

YLessThanEqualX(4,2)

YLessThanEqualX(4,3)

YLessThanEqualX(4,4)

orderPair(X,Y)<-Within(X), Within(Y), NOT(YLessThanX(X,Y).

3. result(X, Y) <- orderPair(X, Y), Y >3

(Edited: 2019-11-04)

1. totalWeight(X, Y, T) <- weight(X, W1), weight(Y, W2), NOT(same(X, Y)), T = W1 + W2. 2. Within(2) Within(3) Within(4) YLessThanEqualX(2,2) YLessThanEqualX(3,2) YLessThanEqualX(3,3) YLessThanEqualX(3,4) YLessThanEqualX(4,2) YLessThanEqualX(4,3) YLessThanEqualX(4,4) orderPair(X,Y)<-Within(X), Within(Y), NOT(YLessThanX(X,Y). 3. result(X, Y) <- orderPair(X, Y), Y >3

-- Oct 30 In-Class Exercise Thread

1. P(x,y) <- Q(x,z), NOT R(x) 2. coordinates(3,4) coordinates(2,4) 3. GreaterOrderedPairs(x, y) <- OrderedPairs(x, y), y > 3