Page Menu
Home
Xreate
Search
Configure Global Search
Log In
Docs
Questions
Repository
Issues
Patches
Internal API
Files
F2718344
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
Mon, Feb 16, 12:40 AM
Size
6 KB
Mime Type
text/x-diff
Expires
Wed, Feb 18, 12:40 AM (1 d, 17 h)
Engine
blob
Format
Raw Data
Handle
237867
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