Skip to content

Commit

Permalink
add test case for two nested slots
Browse files Browse the repository at this point in the history
documentation added that oid is required for nested slotted atom
  • Loading branch information
greenTara committed Aug 14, 2018
1 parent 2cffc9e commit 9cc32a4
Show file tree
Hide file tree
Showing 4 changed files with 28 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -7,13 +7,12 @@ RuleML(
% implicit tuple
% 1 element
% nested atom
% oid
% oid (not optional, otherwise exception is thrown)
% single slot, no tuple
% constant arguments
p(o#q(a->b))
% Translated KB:
% sloterm('_1','_a','_b').
% memterm('_1','_q').
% prdtupterm('_2','_p','_1').
% memterm('_2','_p').
% sloterm('_o','_a','_b').
% memterm('_o','_q').
% '_p'('_o').
) )
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
RuleML(
Assert(
% atomic-formula expressivity
% relationships
% single tuple
% dependent tuple
% implicit tuple
% 1 element
% nested atom
% oid (not optional, otherwise exception is thrown)
% two slots, no tuple
% constant arguments
p(o#q(a->b c-> d))
% Translated KB:
% sloterm('_o','_a','_b').
% sloterm('_o','_c','_d').
% memterm('_o','_q').
% '_p'('_o').
) )
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Yes
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
p(?#q(a->b))
% ((sloterm(Q1,'_a','_b'),memterm(Q1,'_q')),'_p'(Q1)).
% Correctness Criterion: Query for ground atom with implicit single tuple of
% one nested atom with slot against KB containing only that ground atom answers "Yes".

0 comments on commit 9cc32a4

Please sign in to comment.