Download pdf - arXiv

D.4. Code errors
Column
1
2
3
4
5
6
Name
Total
Program
CRule
CLexicon
NP
7
NF
8
9
10
11
CHeads
CBodies
CVars
CProb
12
13
14
CExamples
CKnowledgeBase
Predicates
15
FunctionSymbols
113
Description
Name of the modules used in this execution
Total cost (it sums all the other concepts)
Cost of the program
Cost of the rules
Cost of the lexicon
Number of predicates in the program (also including the ones from the KB files)
Number of function symbols in the program
(also including the ones from the example and
KB files)
Cost of the heads of the clauses in the program
Cost of the bodies of the clauses in the program
Cost of the variables
Probabilistic cost (zero if there are no probabilities)
Cost of the evidence (zero if there is no evidence)
Cost of the Knowledge Base file (if present)
List of the different predicates that appeared in
the program and KB files
List of the function symbols that appeared in all
the code (KB,examples and program)
Table D.1: Table of data returned with modifier ––tabled
D.4
Code errors
The program shows a detailed message error when it exists abnormally, with
a message indicating the source file that it has generated the error or the
modifier that is not correctly used. Nonetheless, the program also gives us a
return code that could help us to identify the problem, listed in Table D.2.
D.5
Website organization
As we have mentioned, in section 4.1, there is a Web version of the tool,
working as a wrapper for the command-line version.
The website needs a Yap Prolog interpreter (obviously) to work, a web
server able to manage PHP files and authorizations to execute the shell. The
tool is running currently on a Linux server that uses Debian1 and HTTPD
Server2 , but it could be also modified to run on another platform with a
1
Debian GNU/Linux, based in the Linux kernel, is a popular and influential Linux
distribution urlhttp://www.debian.org
2
Apache HTTPD is an open-source HTTP server for many operating systems including