From 8bbd19d74c1be8f19888556be1894482abb1b7d5 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Thu, 10 Mar 2016 15:55:58 +0100
Subject: Prolog: add intro text for lists exercises

---
 prolog/problems/lists/list.svg | 65 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 65 insertions(+)
 create mode 100644 prolog/problems/lists/list.svg

(limited to 'prolog/problems/lists/list.svg')

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&#45;&#45;cons1 -->
+<g id="edge2" class="edge"><title>cons0&#45;&#45;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&#45;&#45;a -->
+<g id="edge1" class="edge"><title>cons0&#45;&#45;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&#45;&#45;cons2 -->
+<g id="edge4" class="edge"><title>cons1&#45;&#45;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&#45;&#45;b -->
+<g id="edge3" class="edge"><title>cons1&#45;&#45;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&#45;&#45;empty -->
+<g id="edge6" class="edge"><title>cons2&#45;&#45;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&#45;&#45;c -->
+<g id="edge5" class="edge"><title>cons2&#45;&#45;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>
-- 
cgit v1.2.1