opendev
/
gerrit
Code Issues Proposed changes

Fix Prolog's example 10 in documentation 

This example incorrectly references the examples 7 and 8 instead of 8
and 9.

Change-Id: Ifba3ecd7c252ceae268907cfed357d015c6db510
This commit is contained in:
Maxime Guerreiro 2018-06-13 12:30:13 +00:00
parent eaa1783b24
commit 693ce81679
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Documentation/prolog-cookbook.txt
View File

@ -796,7 +796,7 @@ remove_verified_category([H|T], [H|R]) :- remove_verified_category(T, R).
=== Example 10: Combine examples 8 and 9
In this example we want to both remove the verified and have the four eyes
principle. This means we want a combination of examples 7 and 8.
principle. This means we want a combination of examples 8 and 9.
`rules.pl`
[source,prolog]