cpp-kanren/main.cpp at main · hyperlingg/cpp-kanren · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
/*
Author : Jonas Lingg (2021)
*/

#include "include/cpp-kanren.h"

Stream<int> take_inf_copy(int n, Stream<int>& s) noexcept {
  // s.next(); // t
  for (int i = 0; i < n; i++) {
    if (s.next()) {
      co_yield s.getValue();

    } else {
      // co_yield s.getValue(); // get the current value before exiting...
      break;
    }
    // if(!s.next()){
    //   co_yield s.getValue();
    //   break;
    // }
  }
}

int main() {
  // TODO encapsulate in a function, this is unreadable
  // constructing a variable
  atomValue atmvVal = {atomValue::VAR, "x"};
  variable var = make_shared<atomValue>(atmvVal);
  // cout << var->data << endl;

  // // coroutine trial & error:
  // std::cout << std::endl;

  // std::cout << "getNext():";
  // auto gen = getNextInf();
  // for (int i = 0; i <= 10; ++i) {
  //   gen.next();
  //   if (gen.getValue().tag == stream_elem::VALUE) {
  //     // std::cout << " " << gen.getValue().;
  //   }
  // }

  // std::cout << "\n\n";

  // std::cout << "getNext(100, -10):";
  // auto gen2 = getNextInf(100, -10);
  // for (int i = 0; i <= 20; ++i) {
  //   gen2.next();
  //   if (gen2.getValue().tag == stream_elem::VALUE) {
  //     // std::cout << " " << gen2.getValue().value;
  //   }
  // }

  // std::cout << std::endl;

  // std::cout << "getNextFin():";
  // auto gen3 = getNextFin();
  // for (int i = 0; i <= 5; ++i) {
  //   gen3.next();
  //   if (gen3.getValue().tag == stream_elem::VALUE) {
  //     // std::cout << " " << gen3.getValue().value;
  //   }
  // }

  // std::cout << std::endl;

  // std::cout << "append_inf():";
  // Stream<stream_elem> stream = getNextInf(100, -10);
  // auto stream2 = getNextFin();
  // auto append_stream = append_inf(stream2, stream);
  // for (int i = 0; i <= 20; ++i) {
  //   if (append_stream.next()) {
  //     if (append_stream.getValue().tag == stream_elem::VALUE) {
  //       // std::cout << " " << append_stream.getValue().value;
  //     }
  //   }
  // }
  // std::cout << std::endl;

  // std::cout << "disj():" << std::endl;
  // goal_stream disj_goal = disj(s_goal(), u_goal());
  // auto resStream = disj_goal(empty_s);
  // auto disj_test = disj(s_goal(), u_goal())(empty_s);
  // while (resStream.next()) {
  //   std::cout << " " << resStream.getValue().tag;
  // }
  // std::cout << std::endl;

  std::cout << "take_inf(): ";
  Stream<int> infStream = getNextFin(0, 3, 1);
  auto takeStream = take_inf_copy(2, infStream);

  // while (infStream.next()) {
  //   auto val = infStream.getValue();
  //   std::cout << val << " ";
  // }
  // std::cout << std::endl;
  std::cout << "take_stream: " << std::endl;
  while (takeStream.next()) {
    auto val = takeStream.getValue();
    std::cout << val << " ";
  }
  std::cout << std::endl;

  std::cout << "eqv problem:";
  auto x = makeVar("x");
  auto y = makeVar("y");

  auto test = eqv(x, y)(empty_s);
  test.next();  // NOTE this is essential
  auto streamValueSize = test.getValue().value.size();
  substitution singleton = {{x, y}};

  auto s_goal_test = s_goal();
  auto eval_s_goal = s_goal_test(singleton);
  eval_s_goal.next();
  auto s_goal_value = eval_s_goal.getValue();
  std::cout << "s_goal size" << s_goal_value.value.size() << std::endl;

  std::cout << "streamValueSize: " << streamValueSize << std::endl;
  std::cout << "singleton size: " << singleton.size() << std::endl;
}