Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
cs-236:datalog-parser [2017/10/09 18:32]
brob144 [Examples]
cs-236:datalog-parser [2017/10/11 19:05]
brob144 [Example 1]
Line 210: Line 210:
  
 Rules: Rules:
-  HasSameAddress(X,​Y) :- snap(A,​X,​B,​C),​snap(D,​Y,​B,​E).+  HasSameAddress(X,​Y) :- snap(A,​X,​B,​C),​snap(D,​Y,​B,​(E+C)).
  
 #comment #comment
Line 228: Line 228:
   snap('​33333','​Snoopy','​12 Apple','​555-1234'​).   snap('​33333','​Snoopy','​12 Apple','​555-1234'​).
 Rules(1): Rules(1):
-  HasSameAddress(X,​Y) :- snap(A,​X,​B,​C),​snap(D,​Y,​B,​E).+  HasSameAddress(X,​Y) :- snap(A,​X,​B,​C),​snap(D,​Y,​B,​(E+C)).
 Queries(1): Queries(1):
   HasSameAddress('​Snoopy',​Who)?​   HasSameAddress('​Snoopy',​Who)?​
cs-236/datalog-parser.txt ยท Last modified: 2018/09/25 10:46 by pdiddy
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0