<!DOCTYPE HTML>
<html>
<head>
<title>prolog - generality of append</title>
<style media="screen, handheld">
body { display: flex; flex-wrap: wrap; font-family: sans;}
header { flex-basis: 100%; flex-shrink: 0; }
article { flex-basis: 60%; padding-left: 1em; }
footer { flex-basis: 100%; flex-shrink: 0; }
header nav { display: flex; justify-content: space-between; }
nav a, header a { text-decoration: none ; color: inherit; }
header h1 span { margin-left: 1em; font-size: 50%; font-style: italic; }
.mainContent > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; }
nav ul { display: flex; flex-direction: column; list-style-type: none; list-style-position: outside; padding-left: 0; }
nav li ul { padding-left: 0.6em }
footer { display: flex; justify-content: space-between; }
/* cut here to leave vanity behind */
body { margin:0; padding: 0; font-size: 84%; font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif; }
a { text-decoration: none; color: }
a:hover { text-decoration: underline; }
.thisPage { color: black; }
/* header and top bar */
header nav { background-color: rgb(100,135,220); color: white; padding: 0.3em; border-bottom: 2px solid black; font-size: 91%; }
header h1 { background-color: #ff6d06; color: black; margin: 0; border-bottom: 2px solid black; font-weight: normal; padding: 0.25ex; font-size: 233%; }
header a:hover { text-decoration: none; }
/* sidebar */
.mainContent > nav { border-right: 1px solid #ddd; padding: 0; }
.mainContent > nav > div { border-bottom: 1px solid #ddd; }
.mainContent > nav > div a { color: rgb(0, 102, 204); display: block; text-transform: capitalize; font-weight: bold; padding: 0.25em 1ex 0.25em 2mm; font-size: 102%}
.mainContent > nav > div a:hover { color: white; background-color: rgb(100,135,220); border-left: black solid 0.2em; text-decoration: none; }
.mainContent > nav > div p { font-weight: bold; margin: 0 0 0.5em 2mm; padding: 1em 0 0 0; }
/* main copy */
article { padding: 0.5ex 0 5vh 1vw; }
article h1, article h2 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; border-bottom: 2px solid rgb(0,102,204); }
article h3, article h4, article h5 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; }
article h6, article h7, article h8 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; }
article a { color: rgb(0,102,204); }
article a:hover { color: rgb(100,135,220); }
article pre { font-size: 1.2em; }
/* footer */
footer { color: white; background-color: rgb(100,135,220); }
footer a { color: inherit; }
footer div { padding: 1em; }
/* tables */
table { border: 1px solid rgba(128,128,128,0.5); padding: 0; }
th { color: white; background-color: rgb(100,135,220); }
tr:nth-child(odd) { background-color: rgba(128,128,128,0.1) }
/* modifications */
img {
max-width: 100%;
border: 1px solid black;
}
body {
}
header h1 {
background-color: #c2d2c6;
}
html {
font-size: 1.2em;
}
header nav, footer {
background-color: #442a13;
}
code > pre {
border: 2px solid #442a13;
background-color: #c2d2c6;
width: max-content;
padding: 0 0.5em;
}
.mainContent > nav > div a, article a:hover {
color: #442a13;
}
.mainContent > nav > div a:hover {
color: #442a13;
background-color: #c2d2c6;
}
article h1, article h2 {
color: #c48f3b;
border-bottom: 2px solid #442a13;
}
article a, .thisPage, footer, header nav {
color: #c48f3b;
}
footer {
padding: 0.5em;
flex-shrink: 1;
flex-basis: unset;
}
header {
flex-basis: unset;
}
html {
display: flex;
min-height: 100%;
}
body {
flex-direction: column;
flex: 1;
background-color: #e3dfd7;
}
.mainContent {
display: flex;
flex-grow: 1;
} </style>
<link rel="shortcut icon" href="https://images.pmikkelsen.com/favicon.ico" type="image/vnd.microsoft.icon">
<meta charset="UTF-8">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<header>
<nav>
<div class="left">
<a href="https://pmikkelsen.com">notes</a> |
<a href="https://git.pmikkelsen.com">git</a> |
<a href="https://images.pmikkelsen.com">images</a> |
<a href="https://files.pmikkelsen.com">files</a> |
<a href="https://prolog.pmikkelsen.com">PProlog</a> |
<a href="https://apl.pmikkelsen.com">APL9</a> |
<a href="https://aplwc.org">aplwc</a>
</div>
<div class="right">
<a href="https://git.sr.ht/~pmikkelsen">sourcehut</a> |
<a href="https://9front.org">9front</a> |
<a href="https://openbsd.org">OpenBSD</a> |
<a href="https://dyalog.com">Dyalog</a>
</div>
</nav>
<h1><a href="../index.html">Peter's website <span id="headerSubTitle">- random notes</span></a></h1>
</header>
<div class=mainContent>
<nav id="side-bar">
<div>
<ul>
<li><a href="../APL-and-J/index.html">› APL and J/</a></li>
<li><a href="../OpenBSD/index.html">› OpenBSD/</a></li>
<li><a href="../contact.html">› contact</a></li>
<li><a href="../facts/index.html">› facts/</a></li>
<li><a href="../haskell/index.html">› haskell/</a></li>
<li><a href="../linux/index.html">› linux/</a></li>
<li><a href="../mainframe/index.html">› mainframe/</a></li>
<li><a href="../me/index.html">› me/</a></li>
<li><a href="../opinions/index.html">› opinions/</a></li>
<li><a href="../plan9/index.html">› plan9/</a></li>
<li><a href="index.html" class="thisPage">»<i> prolog/</i></a></li>
<li><ul>
<li><a href="generality-of-append.html" class="thisPage">»<i> generality of append</i></a></li>
</ul></li>
<li><a href="../web/index.html">› web/</a></li>
</ul>
</div>
</nav>
<article>
<h1>The generality of the append predicate</h1>
<p>In prolog we don't write functions which maps some input to an output. Instead, we write <strong>relations</strong> which states what must be true for the relation to hold. This gives a lot of power, in that those relations are often usable in many more ways than a function in another programming language would be.</p>
<p>To show an example of this, here is the <code>append</code> predicate which states that if <code>append(A, B, C)</code> then <code>C</code> is the list which contains the contents of list <code>A</code> followed by the contents of list <code>B</code>:</p>
<code><pre>
append([], ListB, ListB).
append([A|ListA], ListB, [A|Rest]) :-
append(ListA, ListB, Rest).
</pre></code>
<p>It is only two clauses. The first clause states that an empty list followed by some list <code>B</code> is just <code>B</code>, and the second clause states that if the first list consists of head <code>A</code> and tail <code>ListA</code>, then the appended list consists of head <code>A</code> and tail <code>Rest</code> as long as appending <code>ListA</code> to <code>ListB</code> gives <code>Rest</code>.</p>
<h2>Usage 1: appending two lists.</h2>
<code><pre>
?- append([a,b,c], [d,e,f], Result).
Result = [a, b, c, d, e, f].
</pre></code>
<p>Works as expected, and this is probably what most people want from an append function in another programming language.</p>
<h2>Usage 2: What is the prefix?</h2>
<code><pre>
?- append(Prefix, [d,e,f], [a,b,c,d,e,f]).
Prefix = [a, b, c].
</pre></code>
<p>Here we ask the question "What list, when appended with <code>[d,e,f]</code>, gives us <code>[a,b,c,d,e,f]</code>?" and prolog answers with <code>[a,b,c]</code> as we expected.</p>
<h2>Usage 3: What is the suffix?</h2>
<code><pre>
?- append([a,b,c], Suffix, [a,b,c,d,e,f]).
Suffix = [d, e, f].
</pre></code>
<p>This is almost like before, but it asks for the suffix instead.</p>
<h2>Usage 4: How about both the prefix and suffix</h2>
<code><pre>
?- append(Prefix, Suffix, [a,b,c,d,e,f]).
Prefix = [],
Suffix = [a, b, c, d, e, f]
; Prefix = [a],
Suffix = [b, c, d, e, f]
; Prefix = [a, b],
Suffix = [c, d, e, f]
; Prefix = [a, b, c],
Suffix = [d, e, f]
; Prefix = [a, b, c, d],
Suffix = [e, f]
; Prefix = [a, b, c, d, e],
Suffix = [f]
; Prefix = [a, b, c, d, e, f],
Suffix = [].
</pre></code>
<p>Here we see that prolog is actually able to show us what prefix and suffix combined gives <code>[a,b,c,d,e,f]</code>! Since there are more than one solution here, each solution is seperated by the semicolon.</p>
<h2>Conclusion</h2>
<p>When you think about it, what the simple 2 clause append predicate does is pretty amazing compared to how little code is needed. It clearly describes a <strong>relationship</strong> between three lists in a way that allows us to use it to get answers to all sorts of questions, not just appending. How much code would be required to cover all the four use cases shown here if implemented in your favourite programming language?</p>
</article>
</div>
<footer>
<a href="http://werc.cat-v.org">Powered by werc</a> © Peter Mikkelsen 2019-2025
</footer>
</body></html>