Prolog: add introduction for DCG group

1 files changed, 133 insertions, 0 deletions

diff --git a/prolog/problems/dcg/syntax_tree.svg b/prolog/problems/dcg/syntax_tree.svg
new file mode 100644
index 0000000..a1a8083
--- /dev/null
+++ b/prolog/problems/dcg/syntax_tree.svg
@@ -0,0 +1,133 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.38.0 (20140413.2041)
+ -->
+<!-- Title: %3 Pages: 1 -->
+<svg width="332pt" height="223pt"
+ viewBox="0.00 0.00 332.00 223.11" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(0 223.108)">
+<title>%3</title>
+<polygon fill="white" stroke="none" points="0,-0 0,-223.108 332,-223.108 332,-0 0,-0"/>
+<!-- sa1 -->
+<g id="node1" class="node"><title>sa1</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="53" cy="-206.844" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="53" y="-203.144" font-family="sans" font-size="14.00">s</text>
+</g>
+<!-- sa2 -->
+<g id="node2" class="node"><title>sa2</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="99" cy="-143.317" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="99" y="-139.617" font-family="sans" font-size="14.00">s</text>
+</g>
+<!-- sa1&#45;&gt;sa2 -->
+<g id="edge2" class="edge"><title>sa1&#45;&gt;sa2</title>
+<path fill="none" stroke="black" d="M63.6689,-191.574C69.9392,-183.187 77.9454,-172.479 84.7505,-163.377"/>
+<polygon fill="black" stroke="black" points="86.478,-164.573 88.3889,-158.51 83.1142,-162.058 86.478,-164.573"/>
+<text text-anchor="middle" x="82.5" y="-173.181" font-family="sans" font-size="8.00"> 2</text>
+</g>
+<!-- aa1 -->
+<g id="node4" class="node"><title>aa1</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="27" cy="-143.317" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="27" y="-139.617" font-family="mono" font-size="14.00">aa</text>
+</g>
+<!-- sa1&#45;&gt;aa1 -->
+<g id="edge1" class="edge"><title>sa1&#45;&gt;aa1</title>
+<path fill="none" stroke="black" d="M46.7061,-190.95C43.4336,-183.206 39.3803,-173.614 35.8023,-165.147"/>
+<polygon fill="black" stroke="black" points="37.6865,-164.211 33.4165,-159.502 33.8177,-165.846 37.6865,-164.211"/>
+<text text-anchor="middle" x="45.5" y="-173.181" font-family="sans" font-size="8.00"> 2</text>
+</g>
+<!-- sa3 -->
+<g id="node3" class="node"><title>sa3</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="135" cy="-79.7904" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="135" y="-76.0904" font-family="sans" font-size="14.00">s</text>
+</g>
+<!-- sa2&#45;&gt;sa3 -->
+<g id="edge4" class="edge"><title>sa2&#45;&gt;sa3</title>
+<path fill="none" stroke="black" d="M107.531,-127.736C112.284,-119.614 118.267,-109.388 123.435,-100.555"/>
+<polygon fill="black" stroke="black" points="125.312,-101.506 126.53,-95.2667 121.687,-99.3849 125.312,-101.506"/>
+<text text-anchor="middle" x="123.5" y="-109.654" font-family="sans" font-size="8.00"> 2</text>
+</g>
+<!-- aa2 -->
+<g id="node5" class="node"><title>aa2</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="63" cy="-79.7904" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="63" y="-76.0904" font-family="mono" font-size="14.00">aa</text>
+</g>
+<!-- sa2&#45;&gt;aa2 -->
+<g id="edge3" class="edge"><title>sa2&#45;&gt;aa2</title>
+<path fill="none" stroke="black" d="M90.4685,-127.736C85.7161,-119.614 79.7328,-109.388 74.5646,-100.555"/>
+<polygon fill="black" stroke="black" points="76.3129,-99.3849 71.4703,-95.2667 72.6879,-101.506 76.3129,-99.3849"/>
+<text text-anchor="middle" x="87.5" y="-109.654" font-family="sans" font-size="8.00"> 2</text>
+</g>
+<!-- ea -->
+<g id="node6" class="node"><title>ea</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="135" cy="-16.2635" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="135" y="-12.5635" font-family="mono" font-size="14.00">[]</text>
+</g>
+<!-- sa3&#45;&gt;ea -->
+<g id="edge5" class="edge"><title>sa3&#45;&gt;ea</title>
+<path fill="none" stroke="black" d="M135,-63.2645C135,-55.9222 135,-47.0305 135,-39.0293"/>
+<polygon fill="black" stroke="black" points="137.1,-38.5712 135,-32.5712 132.9,-38.5712 137.1,-38.5712"/>
+<text text-anchor="middle" x="138.5" y="-46.1269" font-family="sans" font-size="8.00"> 1</text>
+</g>
+<!-- sb1 -->
+<g id="node7" class="node"><title>sb1</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="287" cy="-206.844" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="287" y="-203.144" font-family="sans" font-size="14.00">s</text>
+</g>
+<!-- sb2 -->
+<g id="node8" class="node"><title>sb2</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="233" cy="-143.317" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="233" y="-139.617" font-family="sans" font-size="14.00">s</text>
+</g>
+<!-- sb1&#45;&gt;sb2 -->
+<g id="edge6" class="edge"><title>sb1&#45;&gt;sb2</title>
+<path fill="none" stroke="black" d="M275.016,-192.189C267.395,-183.507 257.435,-172.158 249.125,-162.69"/>
+<polygon fill="black" stroke="black" points="250.487,-161.058 244.951,-157.934 247.33,-163.829 250.487,-161.058"/>
+<text text-anchor="middle" x="267.5" y="-173.181" font-family="sans" font-size="8.00"> 3</text>
+</g>
+<!-- ab1 -->
+<g id="node10" class="node"><title>ab1</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="305" cy="-143.317" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="305" y="-139.617" font-family="mono" font-size="14.00">aa</text>
+</g>
+<!-- sb1&#45;&gt;ab1 -->
+<g id="edge7" class="edge"><title>sb1&#45;&gt;ab1</title>
+<path fill="none" stroke="black" d="M291.449,-190.635C293.64,-183.149 296.318,-173.995 298.713,-165.807"/>
+<polygon fill="black" stroke="black" points="300.807,-166.127 300.477,-159.779 296.776,-164.948 300.807,-166.127"/>
+<text text-anchor="middle" x="301.5" y="-173.181" font-family="sans" font-size="8.00"> 3</text>
+</g>
+<!-- sb3 -->
+<g id="node9" class="node"><title>sb3</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="279" cy="-79.7904" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="279" y="-76.0904" font-family="sans" font-size="14.00">s</text>
+</g>
+<!-- sb2&#45;&gt;sb3 -->
+<g id="edge9" class="edge"><title>sb2&#45;&gt;sb3</title>
+<path fill="none" stroke="black" d="M243.669,-128.047C249.939,-119.66 257.945,-108.952 264.751,-99.8496"/>
+<polygon fill="black" stroke="black" points="266.478,-101.046 268.389,-94.9831 263.114,-98.5311 266.478,-101.046"/>
+<text text-anchor="middle" x="262.5" y="-109.654" font-family="sans" font-size="8.00"> 2</text>
+</g>
+<!-- ab2 -->
+<g id="node11" class="node"><title>ab2</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="207" cy="-79.7904" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="207" y="-76.0904" font-family="mono" font-size="14.00">aa</text>
+</g>
+<!-- sb2&#45;&gt;ab2 -->
+<g id="edge8" class="edge"><title>sb2&#45;&gt;ab2</title>
+<path fill="none" stroke="black" d="M226.706,-127.423C223.434,-119.679 219.38,-110.087 215.802,-101.62"/>
+<polygon fill="black" stroke="black" points="217.686,-100.684 213.417,-95.9746 213.818,-102.319 217.686,-100.684"/>
+<text text-anchor="middle" x="225.5" y="-109.654" font-family="sans" font-size="8.00"> 2</text>
+</g>
+<!-- eb -->
+<g id="node12" class="node"><title>eb</title>
+<ellipse fill="none" stroke="black" stroke-width="0" cx="279" cy="-16.2635" rx="27" ry="16.0303"/>
+<text text-anchor="middle" x="279" y="-12.5635" font-family="mono" font-size="14.00">[]</text>
+</g>
+<!-- sb3&#45;&gt;eb -->
+<g id="edge10" class="edge"><title>sb3&#45;&gt;eb</title>
+<path fill="none" stroke="black" d="M279,-63.2645C279,-55.9222 279,-47.0305 279,-39.0293"/>
+<polygon fill="black" stroke="black" points="281.1,-38.5712 279,-32.5712 276.9,-38.5712 281.1,-38.5712"/>
+<text text-anchor="middle" x="282.5" y="-46.1269" font-family="sans" font-size="8.00"> 1</text>
+</g>
+</g>
+</svg>