From 3dfae7446894a82e47e0366b679144c57f2f9eb4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sun, 14 Aug 2016 15:47:49 +0200
Subject: [PATCH] Documented goal.

---
 doc/output-format.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/output-format.md b/doc/output-format.md
index 696fcc5..95b78fc 100644
--- a/doc/output-format.md
+++ b/doc/output-format.md
@@ -145,3 +145,12 @@ initialState(<variable>, <value>).
 The initial state contains all variable assignments that hold before executing any actions.
 
 Note that with PDDL, the initial state might not assign values to all variables. Instead, unassigned values have to be assigned `false` manually.
+
+### Goal
+
+```prolog
+% specifies that <variable> shall obtain <value> in the end
+goal(<variable>, <value>).
+```
+
+The goal specifies all variable assignments that have to be fulfilled after executing the plan.