11OVERVIEW
2- PSOATransRun is an implementation of the PSOA RuleML language. PSOATransRun
3- composes a translator from PSOA to some target langauge t, and some runtime
4- environment executing the language t. This release contains an instantiation
5- using t=Prolog, composing a translator PSOA2Prolog and a runtime environment
6- XSB Prolog. See http://wiki.ruleml.org/index.php?title=PSOA_RuleML for more
7- details of PSOA RuleML and PSOATransRun.
8-
2+ PSOATransRun is an implementation of the Positional-Slotted, Object-Applicative
3+ RuleML (PSOA RuleML) language. The PSOATransRun 1.0 release includes a composition
4+ of a translator PSOA2Prolog, from PSOA RuleML to a subset of the logic
5+ programming language ISO Prolog, with the well-known efficient XSB Prolog engine.
6+ See http://psoa.ruleml.org for details of PSOA RuleML and PSOATransRun
7+ and http://github.com/ZOUG/psoa2tptp for the repository.
98
109REQUIREMENTS
11- Operating System: Windows
12- Prerequisites: Java version 6.0 or higher, XSB Prolog 3.5
13-
10+ Operating System: Windows or Linux
11+ Prerequisites: Java version 6.0 or higher, XSB Prolog 3.5 or higher (http://xsb.sourceforge.net/)
1412
1513USAGE
16- Download PSOATransRun.jar to a directory, which we will call $PSOATransRun_DIR.
17- Then follow the next steps to run the program:
14+ Download http://psoa.ruleml.org/transrun/1.0/local/PSOATransRunLocal.jar to
15+ a directory, which we will call $PSOATransRun_DIR. Then follow these next steps
16+ to run the program:
1817
19- 1. Open the Command Line Prompt
20- 1) Click the key combination Windows+R, a "Run" box will be shown;
21- 2) Type cmd and click "Enter"
18+ 1. Open Command Line Prompt
19+ Windows: see http://windows.microsoft.com/en-ca/windows-vista/open-a-command-prompt-window
20+ Linux: start the Linux Terminal
2221
23222. Change the working directory to $PSOATransRun_DIR by executing
2423 cd $PSOATransRun_DIR
25- If $PSOATransRun_DIR is not on the same drive as the current
24+ In Windows, if $PSOATransRun_DIR is on a different drive from the current
2625 working directory, the command line option /d should be used:
2726 cd /d $PSOATransRun_DIR
28-
29- 3. Execute the following command
30- java -jar PSOATransRun.jar -i <kb>
3127
32- <kb> is the path of the input knowledge base (KB) written in the PSOA RuleML
33- presentation syntax.
28+ 3. Execute the following command:
29+ java -jar PSOATransRunLocal.jar -x <xsb_dir> -i <kb>
3430
35- 4. After the message "KB loaded" is shown, you can ask queries. Each time
36- when you see the "Input Query" message is prompted, you can input a one-line
37- query and click "Enter", and the answers will be shown. To finish, type
38- Ctrl+Z and click "Enter".
39-
40- To see all available command line options, execute
41- java -jar PSOATransRun.jar -?
31+ <kb> is the path of the input knowledge base (KB) written in the PSOA RuleML
32+ presentation syntax. <xsb_dir> is the path of the installation folder of XSB Prolog.
4233
34+ * The -x <xsb_dir> part of the command can be omitted if the XSB_DIR environment
35+ variable is set to be the installation folder of XSB Prolog.
4336
44- COMMON ERROR MESSAGES AND RESOLUTIONS
45- * 'java' is not recognized as an internal or external command .. .
46- The java binary is not found by the Windows. Follow the steps explained in
47- http://docs.oracle.com/javase/tutorial/essential/environment/paths.html
48- to configure the PATH environment variable .
37+ 4. After the message "KB loaded" is shown, queries can be posed. One query at a time
38+ is entered and every query must be in a single line. One answer at a time will be shown .
39+ To get the next answer, press the semicolon key. To stop processing the current query
40+ and proceed to the next query, press the Enter key. To finish querying and exit, press
41+ Ctrl+Z and Enter (Windows) or Ctrl+D (Linux) .
0 commit comments