Page Menu
Home
Xreate
Search
Configure Global Search
Log In
Docs
Questions
Repository
Issues
Patches
Internal API
Files
F2731359
No One
Temporary
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Sat, Mar 14, 4:39 AM
Size
6 KB
Mime Type
text/x-diff
Expires
Mon, Mar 16, 4:39 AM (1 d, 14 h)
Engine
blob
Format
Raw Data
Handle
243990
Attached To
rXR Xreate
View Options
diff --git a/problems/cond.lp b/problems/cond.lp
new file mode 100644
index 0000000..9f98097
--- /dev/null
+++ b/problems/cond.lp
@@ -0,0 +1,6 @@
+person(jane). person(john).
+day(mon). day(tue). day(wed). day(thu). day(fri).
+available(jane) :- not on(fri).
+available(john) :- not on(mon), not on(wed).
+meet :- available(X) : person(X).
+on(X) : day(X) :- meet.
diff --git a/problems/containers.lp b/problems/containers.lp
new file mode 100644
index 0000000..7c92dc6
--- /dev/null
+++ b/problems/containers.lp
@@ -0,0 +1,51 @@
+ var(a).var(b).
+implementation(hashlist). implementation(linkedlist). implementation(treelist).
+operation(at). operation(sort). operation(insert).
+relation (recommends). relation (satisfied). relation(unsupported).
+
+relation_score(satisfied, 0).
+relation_score(recommends, 1).
+relation_score(unsupported, -1).
+
+relation_op(at, hashlist, recommends). relation_op(at,treelist, satisfied).
+relation_op(sort, linkedlist, satisfied). relation_op(sort, treelist, satisfied). relation_op(sort, hashlist, unsupported).
+
+
+impl_fulfill(OP, IMPL, SCORE):- relation_op(OP, IMPL, RL), relation_score(RL, SCORE), operation(OP), implementation(IMPL), RL!=unsupported.
+impl_not_fulfill(OP, IMPL):- relation_op(OP, IMPL, unsupported).
+
+bind_var_op(a, at).
+bind_var_op(a, sort).
+bind_var_op(b, insert).
+var_connection(a, b).
+
+%* var_connection(VAR_FROM, VAR_TO, connection_type) *%
+%* var_cluster(VAR_FROM, VAR_TO) *%
+
+connection_type(ct_inherits). connection_type(ct_convert).
+
+var_connection(VAR_FROM, VAR_TO, CT):connection_type(CT) :- var_connection(VAR_FROM, VAR_TO).
+
+var_cluster_root(VAR) :- {var_connection(VAR_F, VAR, ct_inherits): var(VAR_F)} 0, var(VAR).
+var_cluster(VAR0, VAR_TO) :- var_connection(VAR0, VAR_TO, ct_inherits), var_cluster_root(VAR0).
+var_cluster(VAR0, VAR_TO2) :- var_connection(VAR_TO1, VAR_TO2, ct_inherits), var_cluster(VAR0, VAR_TO1).
+var_cluster(VAR0, VAR0):- var_cluster_root(VAR0).
+
+
+#domain implementation(IMPL).
+%#domain var(VAR).
+
+impl_fulfill_cluster(VAR0, OP, IMPL, SCORE) :- var_cluster(VAR0, VAR_ANY), bind_var_op(VAR_ANY, OP), impl_fulfill(OP, IMPL, SCORE), var_cluster_root(VAR0).
+impl_not_fulfill_cluster(VAR0, IMPL):-var_cluster(VAR0, VAR_ANY), bind_var_op(VAR_ANY, OP), impl_not_fulfill(OP, IMPL), var_cluster_root(VAR0).
+%bind_cluster_op(VAR0, OP) :- bind_var_op(VAR0, OP).
+bind_var_impl(VAR0, IMPL, SCORE_RESULT) :- SCORE_RESULT = #sum[impl_fulfill_cluster(VAR0, _, IMPL, SCORE) = SCORE], {impl_not_fulfill_cluster(VAR0, IMPL)}0, var_cluster_root(VAR0).
+%:- bind_var_impl(VAR0, IMPL, _), var_cluster(VAR0, VAR_ANY), bind_var_op(VAR_ANY, OP), impl_not_fulfill(OP, IMPL).
+
+%impl_fulfill(OP, IMPL, SCORE) : bind_var_op(VAR, OP), var(VAR), SCORE_RESULT = 0 , relation_score(_, SCORE).
+%%* *%
+
+#hide.
+#show bind_var_impl/3.
+#show var_cluster_owner/1.
+#show var_connection/3.
+#show bind_var_op/2.
diff --git a/problems/containers.lp~ b/problems/containers.lp~
new file mode 100644
index 0000000..37b2605
--- /dev/null
+++ b/problems/containers.lp~
@@ -0,0 +1,51 @@
+ var(a).var(b).
+implementation(hashlist). implementation(linkedlist). implementation(treelist).
+operation(at). operation(sort). operation(insert).
+relation (recommends). relation (satisfied). relation(unsupported).
+
+relation_score(satisfied, 0).
+relation_score(recommends, 1).
+relation_score(unsupported, -1).
+
+relation_op(at, hashlist, recommends). relation_op(at,treelist, satisfied).
+relation_op(sort, linkedlist, satisfied). relation_op(sort, treelist, satisfied). relation_op(sort, hashlist, unsupported).
+
+
+impl_fulfill(OP, IMPL, SCORE):- relation_op(OP, IMPL, RL), relation_score(RL, SCORE), operation(OP), implementation(IMPL), RL!=unsupported.
+impl_not_fulfill(OP, IMPL):- relation_op(OP, IMPL, unsupported).
+
+bind_var_op(a, at).
+bind_var_op(a, sort).
+bind_var_op(b, insert).
+var_connection(a, b).
+
+%* var_connection(VAR_FROM, VAR_TO, connection_type) *%
+%* var_cluster(VAR_FROM, VAR_TO) *%
+
+connection_type(ct_inherits). connection_type(ct_convert).
+
+var_connection(VAR_FROM, VAR_TO, CT):connection_type(CT) :- var_connection(VAR_FROM, VAR_TO).
+
+var_cluster_root(VAR) :- {var_connection(VAR_F, VAR, ct_inherits): var(VAR_F)} 0, var(VAR).
+var_cluster(VAR0, VAR_TO) :- var_connection(VAR0, VAR_TO, ct_inherits), var_cluster_root(VAR0).
+var_cluster(VAR0, VAR_TO2) :- var_connection(VAR_TO1, VAR_TO2, ct_inherits), var_cluster(VAR0, VAR_TO1).
+var_cluster(VAR0, VAR0):- var_cluster_root(VAR0).
+
+
+#domain implementation(IMPL).
+%#domain var(VAR).
+
+impl_fulfill_cluster(VAR0, OP, IMPL, SCORE) :- var_cluster(VAR0, VAR_ANY), bind_var_op(VAR_ANY, OP), impl_fulfill(OP, IMPL, SCORE), var_cluster_root(VAR0).
+impl_not_fulfill_cluster(VAR0, IMPL):-var_cluster(VAR0, VAR_ANY), bind_var_op(VAR_ANYm OP), impl_not_fulfill(OP, IMPL), var_cluster_root(VAR0).
+%bind_cluster_op(VAR0, OP) :- bind_var_op(VAR0, OP).
+bind_var_impl(VAR0, IMPL, SCORE_RESULT) :- SCORE_RESULT = #sum[impl_fulfill_cluster(VAR0, _, IMPL, SCORE) = SCORE], {impl_not_fulfill_cluster(VAR0, IMPL)}0, var_cluster_root(VAR0).
+%:- bind_var_impl(VAR0, IMPL, _), var_cluster(VAR0, VAR_ANY), bind_var_op(VAR_ANY, OP), impl_not_fulfill(OP, IMPL).
+
+%impl_fulfill(OP, IMPL, SCORE) : bind_var_op(VAR, OP), var(VAR), SCORE_RESULT = 0 , relation_score(_, SCORE).
+%%* *%
+
+#hide.
+#show bind_var_impl/3.
+#show var_cluster_owner/1.
+#show var_connection/3.
+#show bind_var_op/2.
diff --git a/problems/test-list.lp b/problems/test-list.lp
new file mode 100644
index 0000000..6063a16
--- /dev/null
+++ b/problems/test-list.lp
@@ -0,0 +1,7 @@
+% WORKING WITH TUPLES POSSIBILITY TESTING
+
+eqq(x, (0, 0)).
+eqq(y, (1, 1)).
+iszerosum(X, Y) :- X1 == Y1, X2 == Y2, eqq(X, (X1, X2)), eqq(Y, (Y1, Y2)).
+
+%plus(X, Y) :- eq(X, (ax, ay)), eq(Y, (bx, by)), ax + ay + bx + by.
\ No newline at end of file
diff --git a/problems/test-list.lp~ b/problems/test-list.lp~
new file mode 100644
index 0000000..2febb6f
--- /dev/null
+++ b/problems/test-list.lp~
@@ -0,0 +1,8 @@
+%eqqq(a, (0, 1)).
+%eqqq(b, (0, 1)).
+
+eqq(x, (0, 0)).
+eqq(y, (1, 1)).
+iszerosum(X, Y) :- X1 == Y1, X2 == Y2, eqq(X, (X1, X2)), eqq(Y, (Y1, Y2)).
+
+%plus(X, Y) :- eq(X, (ax, ay)), eq(Y, (bx, by)), ax + ay + bx + by.
\ No newline at end of file
diff --git a/project/diploma.odt b/project/diploma.odt
index 9be0199..e2e7897 100644
Binary files a/project/diploma.odt and b/project/diploma.odt differ
Event Timeline
Log In to Comment