~~NOCACHE~~
====== Tests: Prolog interface ======

<WRAP center round info 60%>
  * //Delete file ''lib/plugins/loki/temp/loki/tests/prolog.txt'' before tests//
  * Tests are performed manually - you have to compare if sections "Expected result" and "Actual result" represent the same thing!
</WRAP>

===== Simple goal =====

**Description:** Simple Prolog goal for knowledge saved inside ''<pl></pl>'' tag. Note that knowledge is not saved in cache!

**Code:**

<code prolog><pl goal="woman(X),write(X),nl,fail">
woman(kate).
man(john).
</pl></code>

**Expected result:**

<code>kate</code>

**Actual result:**

<pl cache="false" goal="woman(X),write(X),nl,fail">
woman(kate).
man(john).
</pl>

===== Goal and scope =====

**Description:** Knowledge saved (''cache="true"'') inside one ''<pl></pl>'' tag and used inside other ''<pl></pl>'' tag with specified scope.

**Code:**

<code prolog><pl cache="true">
man(jack).
man(jim).
</pl>

<pl goal="man(X),write(X),nl,fail" scope="tests:prolog">
</pl></code>

**Expected result:**

<code>jack
jim</code>

Note that ''john'' **should not** appear because this fact should not be saved in cache! (it is from previous test)

**Actual result:**

<pl cache="true">
man(jack).
man(jim).
</pl>

<pl goal="man(X),write(X),nl,fail" scope="tests:prolog">
</pl>

===== Predicates =====

**Description:** List all predicates in specified scope.

**Code:**

<code prolog><pl goal="consult('lib/plugins/loki/loki.pl'),wikiconsult('tests/prolog'),list.">
%
</pl></code>

**Expected result:**

The list similar to the one shown below. It must contain predicates: ''man'', ''wiki_header''.

<code>absolute_file_name
atom_concat
->atomic_list_concat
;atomic_list_concat
expand_answer
expand_file_name
expand_query
file_search_path
library_directory
link_xpce:pcehome_
man
'$member'
'$pack':pack_dir
prolog_file_type
system:current_prolog_flag
'$toplevel':catch
toplevel_variables:expand_answer
toplevel_variables:expand_query
wiki_header</code>

**Actual result:**

<pl goal="consult('lib/plugins/loki/loki.pl'),wikiconsult('tests/prolog'),list.">
%
</pl>

----

**Description:** Show info about specified predicate in specified scope.

**Code:**

<code prolog><pl goal="consult('lib/plugins/loki/loki.pl'),wikiconsult('tests/prolog'),list(man).">
%
</pl></code>

**Expected result:**

<code>man(jack).
man(jim).</code>

**Actual result:**

<pl goal="consult('lib/plugins/loki/loki.pl'),wikiconsult('tests/prolog'),list(man).">
%
</pl>


===== Errors =====

**Description:** Error messages for Prolog code

**Code:**

<code prolog><pl goal="invalid_goal" scope="*" msgerr="display"></pl></code>

**Expected result:**

Errors list that contains (probably at the end):

<code>ERROR: Prolog initialisation failed:
ERROR: ignore/1: Undefined procedure: invalid_goal/0</code>

**Actual result:**

<pl goal="invalid_goal" scope="*" msgerr="display"></pl>