Compilation Instructions

User Manual:

Open the PDF directly: View PDF PDF.
Page Count: 1

DownloadCompilation Instructions
Open PDF In BrowserView PDF
Instructions on how to compile and run program:
To compile the main program, unzip the included .zip file into a new directory,
navigate to it and run with python 3 using the terminal command:
”python3 Main.py  ’’ ”
If the program is run without a query specified, the program will ask if you would like to enter
a query. You can select yes by typing ’y’ or ’yes’ (case insensitive). The program will then ask you
to enter your query. After a query is entered, the program will display the results of the query and
ask if you would like to enter another query. To exit the program, simply enter ’n’ or ’no’ (again,
case insensitive).
If a query is specified in the terminal, the results will be displayed and the program will exit.
Queries must be formatted such that each individual query must be enclosed in at least one set
of parentheses, with an optional set of parentheses around the entire overall query
For example, ((move o ?x ?y)) is properly formatted, as well as (move o ?x ?y).
Every query must also be formatted such that variables are preceded by a ’ ?’, and literals do not
contain ’ ?’, ’(’, or ’)’.
The program will output every variable substitution that can be inferred to be true, or, if no variables
are present in the query, the program will output ’True’ if the query can be inferred to be true, or
indicate that the query cannot be inferred with the given KB.
Queries can also be joined together with implicit conjunction with the form ((animal ?x) (bird ?x))
or (animal ?x) (bird ?x).
In this case the program will output every variable substitution in which both queries are true.

1
Source Exif Data: 
File Type                       : PDF
File Type Extension             : pdf
MIME Type                       : application/pdf
PDF Version                     : 1.5
Linearized                      : No
Page Count                      : 1
Producer                        : pdfTeX-1.40.19
Creator                         : TeX
Create Date                     : 2018:11:27 07:16:52-06:00
Modify Date                     : 2018:11:27 07:16:52-06:00
Trapped                         : False
PTEX Fullbanner                 : This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2019/dev/Debian) kpathsea version 6.3.1/dev
EXIF Metadata provided by EXIF.tools

Navigation menu