diff options
Diffstat (limited to 'prolog/problems/lists/list.svg')
-rw-r--r-- | prolog/problems/lists/list.svg | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/prolog/problems/lists/list.svg b/prolog/problems/lists/list.svg new file mode 100644 index 0000000..31d73b2 --- /dev/null +++ b/prolog/problems/lists/list.svg @@ -0,0 +1,65 @@ +<?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="206pt" height="206pt" + viewBox="0.00 0.00 206.00 206.00" 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(4 202)"> +<title>%3</title> +<polygon fill="white" stroke="none" points="-4,4 -4,-202 202,-202 202,4 -4,4"/> +<!-- cons0 --> +<g id="node1" class="node"><title>cons0</title> +<text text-anchor="middle" x="63" y="-176.3" font-family="sans" font-size="14.00">·</text> +</g> +<!-- cons1 --> +<g id="node2" class="node"><title>cons1</title> +<text text-anchor="middle" x="99" y="-122.3" font-family="sans" font-size="14.00">·</text> +</g> +<!-- cons0--cons1 --> +<g id="edge2" class="edge"><title>cons0--cons1</title> +<path fill="none" stroke="black" d="M74.7877,-161.973C78.7249,-156.286 83.1141,-149.946 87.0625,-144.243"/> +</g> +<!-- a --> +<g id="node5" class="node"><title>a</title> +<text text-anchor="middle" x="27" y="-122.3" font-family="sans" font-size="14.00">a</text> +</g> +<!-- cons0--a --> +<g id="edge1" class="edge"><title>cons0--a</title> +<path fill="none" stroke="black" d="M51.2123,-161.973C47.2751,-156.286 42.8859,-149.946 38.9375,-144.243"/> +</g> +<!-- cons2 --> +<g id="node3" class="node"><title>cons2</title> +<text text-anchor="middle" x="135" y="-68.3" font-family="sans" font-size="14.00">·</text> +</g> +<!-- cons1--cons2 --> +<g id="edge4" class="edge"><title>cons1--cons2</title> +<path fill="none" stroke="black" d="M110.788,-107.973C114.725,-102.286 119.114,-95.9464 123.063,-90.243"/> +</g> +<!-- b --> +<g id="node6" class="node"><title>b</title> +<text text-anchor="middle" x="63" y="-68.3" font-family="sans" font-size="14.00">b</text> +</g> +<!-- cons1--b --> +<g id="edge3" class="edge"><title>cons1--b</title> +<path fill="none" stroke="black" d="M87.2123,-107.973C83.2751,-102.286 78.8859,-95.9464 74.9375,-90.243"/> +</g> +<!-- empty --> +<g id="node4" class="node"><title>empty</title> +<text text-anchor="middle" x="171" y="-14.3" font-family="sans" font-size="14.00">[ ]</text> +</g> +<!-- cons2--empty --> +<g id="edge6" class="edge"><title>cons2--empty</title> +<path fill="none" stroke="black" d="M146.788,-53.9733C150.725,-48.2862 155.114,-41.9464 159.063,-36.243"/> +</g> +<!-- c --> +<g id="node7" class="node"><title>c</title> +<text text-anchor="middle" x="99" y="-14.3" font-family="sans" font-size="14.00">c</text> +</g> +<!-- cons2--c --> +<g id="edge5" class="edge"><title>cons2--c</title> +<path fill="none" stroke="black" d="M123.212,-53.9733C119.275,-48.2862 114.886,-41.9464 110.937,-36.243"/> +</g> +</g> +</svg> |