Sha256: e8b5a756395713bb8c2cb2158bf59c383179238b282f0f6cdbcf79e51c61b2b2
Contents?: true
Size: 498 Bytes
Versions: 17
Compression:
Stored size: 498 Bytes
Contents
(defprolog pparse S Grammar <-- (parsing [[s + 0] = [S + 0]] Grammar);) (defprolog parsing [X = X] _ <--; [[X + Y] = [X + Z]] Grammar <-- ! (parsing [Y = Z] Grammar); [[[X + Y] + Z] = W] Grammar <-- ! (parsing [[X + [Y + Z]] = W] Grammar); [W = [[X + Y] + Z]] Grammar <-- ! (parsing [W = [X + [Y + Z]]] Grammar); [[X + Y] = Z] Grammar <-- (member [X = W] Grammar) (parsing [[W + Y] = Z] Grammar);) (defprolog member X [X | _] <--; X [_ | Y] <-- (member X Y);)
Version data entries
17 entries across 17 versions & 1 rubygems