├── .gitignore ├── LICENSE.txt ├── README.md ├── dependencies ├── lparse-1.1.2.tar.gz └── smodels-2.34.tar.gz ├── docker ├── plain │ ├── Dockerfile │ └── docker-compose.yml ├── save-docker-images.sh ├── webservice │ ├── Dockerfile │ ├── docker-compose.yml │ └── start.sh └── with-smodels │ ├── Dockerfile │ ├── docker-compose.yml │ └── start.sh ├── engine ├── README.txt ├── TODO.txt ├── acerules ├── acerules_processor.pl ├── court_interpreter │ ├── answerset_generator.pl │ ├── court_interpreter.pl │ ├── cycle_checker.pl │ ├── eliminate_small_cycles.pl │ └── transform_naf.pl ├── debug_output.pl ├── examples │ ├── family │ ├── iokaste │ ├── mail1 │ ├── mail2 │ ├── mollusks │ ├── nixon │ └── platypus ├── ground_rules.pl ├── list_utils.pl ├── logger.pl ├── op_defs.pl ├── parameters.pl ├── parser │ ├── check_grouping.pl │ ├── collect_templates.pl │ ├── condensation.txt │ ├── condense_drs.pl │ ├── double_implication.pl │ ├── drs_checker.pl │ ├── generate_drs.pl │ ├── group_predicates.pl │ ├── grouping.txt │ ├── grouping_background.txt │ ├── meta_preprocess.pl │ ├── parser.pl │ ├── priority_handler.pl │ ├── rule_creator.pl │ └── skolemize_drs.pl ├── rule_ops.pl ├── run_acerules.pl ├── run_testcases.pl ├── run_testcases.sh ├── simple_rules.pl ├── skolemizer │ ├── skolemizer.pl │ └── unskolemizer.pl ├── stable_interpreter │ ├── atom_map.pl │ ├── get_stable_models.pl │ ├── poor_to_rich.pl │ ├── postsmod │ ├── rich_to_poor.pl │ ├── stable_checker.pl │ └── stable_interpreter.pl ├── start_pldoc.sh ├── testcases │ ├── court │ │ ├── input │ │ │ ├── badidentity │ │ │ ├── be_adj │ │ │ ├── cars │ │ │ ├── cascade │ │ │ ├── customer │ │ │ ├── cycle │ │ │ ├── cycle2 │ │ │ ├── double_implication │ │ │ ├── empty │ │ │ ├── family2 │ │ │ ├── group │ │ │ ├── mail1 │ │ │ ├── mail2 │ │ │ ├── modal1 │ │ │ ├── modalerr │ │ │ ├── mollusks │ │ │ ├── naf │ │ │ ├── naf2 │ │ │ ├── naf3 │ │ │ ├── naf4 │ │ │ ├── nixon │ │ │ ├── platypus │ │ │ ├── propernames │ │ │ ├── simple │ │ │ ├── transitive │ │ │ ├── transprio │ │ │ └── violated_atom │ │ └── output │ │ │ ├── badidentity │ │ │ ├── be_adj │ │ │ ├── cars │ │ │ ├── cascade │ │ │ ├── customer │ │ │ ├── cycle │ │ │ ├── cycle2 │ │ │ ├── double_implication │ │ │ ├── empty │ │ │ ├── family2 │ │ │ ├── group │ │ │ ├── mail1 │ │ │ ├── mail2 │ │ │ ├── modal1 │ │ │ ├── modalerr │ │ │ ├── mollusks │ │ │ ├── naf │ │ │ ├── naf2 │ │ │ ├── naf3 │ │ │ ├── naf4 │ │ │ ├── nixon │ │ │ ├── platypus │ │ │ ├── propernames │ │ │ ├── simple │ │ │ ├── transitive │ │ │ ├── transprio │ │ │ └── violated_atom │ ├── stable │ │ ├── input │ │ │ ├── criminal │ │ │ ├── family1 │ │ │ ├── family2 │ │ │ ├── modal2 │ │ │ ├── multiple │ │ │ ├── simple1 │ │ │ ├── simple2 │ │ │ ├── simple3 │ │ │ └── transitive │ │ └── output │ │ │ ├── criminal │ │ │ ├── family1 │ │ │ ├── family2 │ │ │ ├── modal2 │ │ │ ├── multiple │ │ │ ├── simple1 │ │ │ ├── simple2 │ │ │ ├── simple3 │ │ │ └── transitive │ └── stable_strong │ │ ├── input │ │ ├── family1 │ │ ├── family2 │ │ ├── modal1 │ │ ├── multiple │ │ ├── multiple2 │ │ ├── naf6 │ │ ├── no_model │ │ ├── simple1 │ │ └── transitive │ │ └── output │ │ ├── family1 │ │ ├── family2 │ │ ├── modal1 │ │ ├── multiple │ │ ├── multiple2 │ │ ├── naf6 │ │ ├── no_model │ │ ├── simple1 │ │ └── transitive ├── ulex_handler.pl ├── utils.pl ├── verbalizer │ ├── attach_var_lists.pl │ ├── clean_propernames.pl │ ├── drs_generator.pl │ ├── expand_drs.pl │ └── verbalizer.pl └── webservice │ ├── .gitignore │ ├── acerules.wsdl │ ├── acerules_server.pl │ ├── acerulesws.perl │ ├── compile_webservice.sh │ ├── get_results.pl │ └── soap_utils.pl ├── webapp ├── .gitignore ├── TODO.txt ├── build.xml ├── src │ └── ch │ │ └── uzh │ │ └── ifi │ │ └── attempto │ │ └── acerules │ │ ├── AnswerArea.java │ │ ├── App.java │ │ ├── ErrorMessage.java │ │ ├── History.java │ │ ├── LoadExampleWindow.java │ │ ├── LoadProgramWindow.java │ │ ├── MenuBar.java │ │ ├── NormalButton.java │ │ ├── ProgramArea.java │ │ ├── Request.java │ │ ├── SaveProgramWindow.java │ │ ├── SavedPrograms.java │ │ ├── Servlet.java │ │ ├── SquareButton.java │ │ ├── TraceArea.java │ │ ├── UserInterface.java │ │ ├── help │ │ ├── HelpButton.java │ │ ├── HelpLink.java │ │ ├── HelpWindow.java │ │ ├── PageManager.java │ │ ├── WebLink.java │ │ └── page │ │ │ ├── AboutPage.java │ │ │ ├── AcePage.java │ │ │ ├── AnswerAreaPage.java │ │ │ ├── CourteousPage.java │ │ │ ├── CyclicPage.java │ │ │ ├── FactExamplesPage.java │ │ │ ├── IntroductionPage.java │ │ │ ├── MenuBarPage.java │ │ │ ├── ModePage.java │ │ │ ├── NotAvailablePage.java │ │ │ ├── Page.java │ │ │ ├── PrioritiesPage.java │ │ │ ├── ProgramAreaPage.java │ │ │ ├── QuickStartPage.java │ │ │ ├── RuleExamplesPage.java │ │ │ ├── ShortcutsPage.java │ │ │ ├── StableNegPage.java │ │ │ ├── StablePage.java │ │ │ ├── SyntaxBasicsPage.java │ │ │ ├── TraceAreaPage.java │ │ │ ├── TwoNegationsPage.java │ │ │ ├── error │ │ │ ├── ContainsQuery.java │ │ │ ├── CyclicProgram.java │ │ │ ├── DistPluralNotSupported.java │ │ │ ├── DoubleNegation.java │ │ │ ├── EmptyProgPage.java │ │ │ ├── FactHeadNegation.java │ │ │ ├── FunctionwordApposition.java │ │ │ ├── InexistentLabel.java │ │ │ ├── InvalidIdentity.java │ │ │ ├── InvalidPriorities.java │ │ │ ├── InvalidSentence.java │ │ │ ├── ModalityNotSupported.java │ │ │ ├── NafInTopLevel.java │ │ │ ├── NoAnswer.java │ │ │ ├── NoFullStopPage.java │ │ │ ├── NoSavedPrograms.java │ │ │ ├── NoSpaceForPrograms.java │ │ │ ├── NotFlatInsideOfNeg.java │ │ │ ├── NotFlatInsideOfThen.java │ │ │ ├── NotLiteralsInIf.java │ │ │ ├── PrioritiesNotSupported.java │ │ │ ├── ProgramTooLarge.java │ │ │ ├── PropernameApposition.java │ │ │ ├── RedefinedVariable.java │ │ │ ├── ThatSubordNotSupported.java │ │ │ ├── TooManySavedPrograms.java │ │ │ ├── UnknownWord.java │ │ │ ├── UnresolvedAnaphor.java │ │ │ └── ViolatedAtomRestr.java │ │ │ └── ref │ │ │ ├── Fuchs2006.java │ │ │ ├── Gelfond1988.java │ │ │ ├── Gelfond1991.java │ │ │ └── Grosof1997.java │ │ ├── resource │ │ ├── BorderBottom.png │ │ ├── BorderBottomLeft.png │ │ ├── BorderBottomRight.png │ │ ├── BorderLeft.png │ │ ├── BorderRight.png │ │ ├── BorderTop.png │ │ ├── BorderTopLeft.png │ │ ├── BorderTopRight.png │ │ └── MenuBottom.png │ │ └── style │ │ ├── Default.stylesheet │ │ └── Styles.java └── war │ ├── WEB-INF │ ├── .gitignore │ ├── lib │ │ ├── Echo2_App.jar │ │ ├── Echo2_Extras_App.jar │ │ ├── Echo2_Extras_WebContainer.jar │ │ ├── Echo2_WebContainer.jar │ │ ├── Echo2_WebRender.jar │ │ ├── echopointng-2.2.0rc2.jar │ │ ├── javax.servlet.jar │ │ └── jdom.jar │ └── web.xml │ ├── index.html │ └── style.css └── webclient ├── acerules.css ├── acerules.html └── acerules.js /.gitignore: -------------------------------------------------------------------------------- 1 | ape 2 | .project 3 | /docker/images 4 | -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/README.md -------------------------------------------------------------------------------- /dependencies/lparse-1.1.2.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/dependencies/lparse-1.1.2.tar.gz -------------------------------------------------------------------------------- /dependencies/smodels-2.34.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/dependencies/smodels-2.34.tar.gz -------------------------------------------------------------------------------- /docker/plain/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/docker/plain/Dockerfile -------------------------------------------------------------------------------- /docker/plain/docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/docker/plain/docker-compose.yml -------------------------------------------------------------------------------- /docker/save-docker-images.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/docker/save-docker-images.sh -------------------------------------------------------------------------------- /docker/webservice/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/docker/webservice/Dockerfile -------------------------------------------------------------------------------- /docker/webservice/docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/docker/webservice/docker-compose.yml -------------------------------------------------------------------------------- /docker/webservice/start.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | cd "$(dirname "$0")" 4 | 5 | nohup ./acerules-server.exe & 6 | apache2ctl -D FOREGROUND 7 | -------------------------------------------------------------------------------- /docker/with-smodels/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/docker/with-smodels/Dockerfile -------------------------------------------------------------------------------- /docker/with-smodels/docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/docker/with-smodels/docker-compose.yml -------------------------------------------------------------------------------- /docker/with-smodels/start.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | cd "$(dirname "$0")" 4 | 5 | nohup ./acerules-server.exe & 6 | apache2ctl -D FOREGROUND 7 | -------------------------------------------------------------------------------- /engine/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/README.txt -------------------------------------------------------------------------------- /engine/TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/TODO.txt -------------------------------------------------------------------------------- /engine/acerules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/acerules -------------------------------------------------------------------------------- /engine/acerules_processor.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/acerules_processor.pl -------------------------------------------------------------------------------- /engine/court_interpreter/answerset_generator.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/court_interpreter/answerset_generator.pl -------------------------------------------------------------------------------- /engine/court_interpreter/court_interpreter.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/court_interpreter/court_interpreter.pl -------------------------------------------------------------------------------- /engine/court_interpreter/cycle_checker.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/court_interpreter/cycle_checker.pl -------------------------------------------------------------------------------- /engine/court_interpreter/eliminate_small_cycles.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/court_interpreter/eliminate_small_cycles.pl -------------------------------------------------------------------------------- /engine/court_interpreter/transform_naf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/court_interpreter/transform_naf.pl -------------------------------------------------------------------------------- /engine/debug_output.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/debug_output.pl -------------------------------------------------------------------------------- /engine/examples/family: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/examples/family -------------------------------------------------------------------------------- /engine/examples/iokaste: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/examples/iokaste -------------------------------------------------------------------------------- /engine/examples/mail1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/examples/mail1 -------------------------------------------------------------------------------- /engine/examples/mail2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/examples/mail2 -------------------------------------------------------------------------------- /engine/examples/mollusks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/examples/mollusks -------------------------------------------------------------------------------- /engine/examples/nixon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/examples/nixon -------------------------------------------------------------------------------- /engine/examples/platypus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/examples/platypus -------------------------------------------------------------------------------- /engine/ground_rules.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/ground_rules.pl -------------------------------------------------------------------------------- /engine/list_utils.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/list_utils.pl -------------------------------------------------------------------------------- /engine/logger.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/logger.pl -------------------------------------------------------------------------------- /engine/op_defs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/op_defs.pl -------------------------------------------------------------------------------- /engine/parameters.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parameters.pl -------------------------------------------------------------------------------- /engine/parser/check_grouping.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/check_grouping.pl -------------------------------------------------------------------------------- /engine/parser/collect_templates.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/collect_templates.pl -------------------------------------------------------------------------------- /engine/parser/condensation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/condensation.txt -------------------------------------------------------------------------------- /engine/parser/condense_drs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/condense_drs.pl -------------------------------------------------------------------------------- /engine/parser/double_implication.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/double_implication.pl -------------------------------------------------------------------------------- /engine/parser/drs_checker.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/drs_checker.pl -------------------------------------------------------------------------------- /engine/parser/generate_drs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/generate_drs.pl -------------------------------------------------------------------------------- /engine/parser/group_predicates.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/group_predicates.pl -------------------------------------------------------------------------------- /engine/parser/grouping.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/grouping.txt -------------------------------------------------------------------------------- /engine/parser/grouping_background.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/grouping_background.txt -------------------------------------------------------------------------------- /engine/parser/meta_preprocess.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/meta_preprocess.pl -------------------------------------------------------------------------------- /engine/parser/parser.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/parser.pl -------------------------------------------------------------------------------- /engine/parser/priority_handler.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/priority_handler.pl -------------------------------------------------------------------------------- /engine/parser/rule_creator.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/rule_creator.pl -------------------------------------------------------------------------------- /engine/parser/skolemize_drs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/parser/skolemize_drs.pl -------------------------------------------------------------------------------- /engine/rule_ops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/rule_ops.pl -------------------------------------------------------------------------------- /engine/run_acerules.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/run_acerules.pl -------------------------------------------------------------------------------- /engine/run_testcases.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/run_testcases.pl -------------------------------------------------------------------------------- /engine/run_testcases.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/run_testcases.sh -------------------------------------------------------------------------------- /engine/simple_rules.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/simple_rules.pl -------------------------------------------------------------------------------- /engine/skolemizer/skolemizer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/skolemizer/skolemizer.pl -------------------------------------------------------------------------------- /engine/skolemizer/unskolemizer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/skolemizer/unskolemizer.pl -------------------------------------------------------------------------------- /engine/stable_interpreter/atom_map.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/stable_interpreter/atom_map.pl -------------------------------------------------------------------------------- /engine/stable_interpreter/get_stable_models.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/stable_interpreter/get_stable_models.pl -------------------------------------------------------------------------------- /engine/stable_interpreter/poor_to_rich.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/stable_interpreter/poor_to_rich.pl -------------------------------------------------------------------------------- /engine/stable_interpreter/postsmod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/stable_interpreter/postsmod -------------------------------------------------------------------------------- /engine/stable_interpreter/rich_to_poor.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/stable_interpreter/rich_to_poor.pl -------------------------------------------------------------------------------- /engine/stable_interpreter/stable_checker.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/stable_interpreter/stable_checker.pl -------------------------------------------------------------------------------- /engine/stable_interpreter/stable_interpreter.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/stable_interpreter/stable_interpreter.pl -------------------------------------------------------------------------------- /engine/start_pldoc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/start_pldoc.sh -------------------------------------------------------------------------------- /engine/testcases/court/input/badidentity: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/badidentity -------------------------------------------------------------------------------- /engine/testcases/court/input/be_adj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/be_adj -------------------------------------------------------------------------------- /engine/testcases/court/input/cars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/cars -------------------------------------------------------------------------------- /engine/testcases/court/input/cascade: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/cascade -------------------------------------------------------------------------------- /engine/testcases/court/input/customer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/customer -------------------------------------------------------------------------------- /engine/testcases/court/input/cycle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/cycle -------------------------------------------------------------------------------- /engine/testcases/court/input/cycle2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/cycle2 -------------------------------------------------------------------------------- /engine/testcases/court/input/double_implication: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/double_implication -------------------------------------------------------------------------------- /engine/testcases/court/input/empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /engine/testcases/court/input/family2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/family2 -------------------------------------------------------------------------------- /engine/testcases/court/input/group: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/group -------------------------------------------------------------------------------- /engine/testcases/court/input/mail1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/mail1 -------------------------------------------------------------------------------- /engine/testcases/court/input/mail2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/mail2 -------------------------------------------------------------------------------- /engine/testcases/court/input/modal1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/modal1 -------------------------------------------------------------------------------- /engine/testcases/court/input/modalerr: -------------------------------------------------------------------------------- 1 | John can access every file. 2 | -------------------------------------------------------------------------------- /engine/testcases/court/input/mollusks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/mollusks -------------------------------------------------------------------------------- /engine/testcases/court/input/naf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/naf -------------------------------------------------------------------------------- /engine/testcases/court/input/naf2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/naf2 -------------------------------------------------------------------------------- /engine/testcases/court/input/naf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/naf3 -------------------------------------------------------------------------------- /engine/testcases/court/input/naf4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/naf4 -------------------------------------------------------------------------------- /engine/testcases/court/input/nixon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/nixon -------------------------------------------------------------------------------- /engine/testcases/court/input/platypus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/platypus -------------------------------------------------------------------------------- /engine/testcases/court/input/propernames: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/propernames -------------------------------------------------------------------------------- /engine/testcases/court/input/simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/simple -------------------------------------------------------------------------------- /engine/testcases/court/input/transitive: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/transitive -------------------------------------------------------------------------------- /engine/testcases/court/input/transprio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/transprio -------------------------------------------------------------------------------- /engine/testcases/court/input/violated_atom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/input/violated_atom -------------------------------------------------------------------------------- /engine/testcases/court/output/badidentity: -------------------------------------------------------------------------------- 1 | ERROR: Invalid Identity. 2 | -------------------------------------------------------------------------------- /engine/testcases/court/output/be_adj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/be_adj -------------------------------------------------------------------------------- /engine/testcases/court/output/cars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/cars -------------------------------------------------------------------------------- /engine/testcases/court/output/cascade: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/cascade -------------------------------------------------------------------------------- /engine/testcases/court/output/customer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/customer -------------------------------------------------------------------------------- /engine/testcases/court/output/cycle: -------------------------------------------------------------------------------- 1 | ERROR: The program contains cycles. 2 | -------------------------------------------------------------------------------- /engine/testcases/court/output/cycle2: -------------------------------------------------------------------------------- 1 | ERROR: The program contains cycles. 2 | -------------------------------------------------------------------------------- /engine/testcases/court/output/double_implication: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/double_implication -------------------------------------------------------------------------------- /engine/testcases/court/output/empty: -------------------------------------------------------------------------------- 1 | ERROR: The program is empty. 2 | -------------------------------------------------------------------------------- /engine/testcases/court/output/family2: -------------------------------------------------------------------------------- 1 | ERROR: The program contains cycles. 2 | -------------------------------------------------------------------------------- /engine/testcases/court/output/group: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/group -------------------------------------------------------------------------------- /engine/testcases/court/output/mail1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/mail1 -------------------------------------------------------------------------------- /engine/testcases/court/output/mail2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/mail2 -------------------------------------------------------------------------------- /engine/testcases/court/output/modal1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/modal1 -------------------------------------------------------------------------------- /engine/testcases/court/output/modalerr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/modalerr -------------------------------------------------------------------------------- /engine/testcases/court/output/mollusks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/mollusks -------------------------------------------------------------------------------- /engine/testcases/court/output/naf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/naf -------------------------------------------------------------------------------- /engine/testcases/court/output/naf2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/naf2 -------------------------------------------------------------------------------- /engine/testcases/court/output/naf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/naf3 -------------------------------------------------------------------------------- /engine/testcases/court/output/naf4: -------------------------------------------------------------------------------- 1 | ERROR: The program contains cycles. 2 | -------------------------------------------------------------------------------- /engine/testcases/court/output/nixon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/nixon -------------------------------------------------------------------------------- /engine/testcases/court/output/platypus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/platypus -------------------------------------------------------------------------------- /engine/testcases/court/output/propernames: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/propernames -------------------------------------------------------------------------------- /engine/testcases/court/output/simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/simple -------------------------------------------------------------------------------- /engine/testcases/court/output/transitive: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/transitive -------------------------------------------------------------------------------- /engine/testcases/court/output/transprio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/court/output/transprio -------------------------------------------------------------------------------- /engine/testcases/court/output/violated_atom: -------------------------------------------------------------------------------- 1 | ERROR: The program violates the atom-restriction. 2 | -------------------------------------------------------------------------------- /engine/testcases/stable/input/criminal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/input/criminal -------------------------------------------------------------------------------- /engine/testcases/stable/input/family1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/input/family1 -------------------------------------------------------------------------------- /engine/testcases/stable/input/family2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/input/family2 -------------------------------------------------------------------------------- /engine/testcases/stable/input/modal2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/input/modal2 -------------------------------------------------------------------------------- /engine/testcases/stable/input/multiple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/input/multiple -------------------------------------------------------------------------------- /engine/testcases/stable/input/simple1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/input/simple1 -------------------------------------------------------------------------------- /engine/testcases/stable/input/simple2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/input/simple2 -------------------------------------------------------------------------------- /engine/testcases/stable/input/simple3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/input/simple3 -------------------------------------------------------------------------------- /engine/testcases/stable/input/transitive: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/input/transitive -------------------------------------------------------------------------------- /engine/testcases/stable/output/criminal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/output/criminal -------------------------------------------------------------------------------- /engine/testcases/stable/output/family1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/output/family1 -------------------------------------------------------------------------------- /engine/testcases/stable/output/family2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/output/family2 -------------------------------------------------------------------------------- /engine/testcases/stable/output/modal2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/output/modal2 -------------------------------------------------------------------------------- /engine/testcases/stable/output/multiple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/output/multiple -------------------------------------------------------------------------------- /engine/testcases/stable/output/simple1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/output/simple1 -------------------------------------------------------------------------------- /engine/testcases/stable/output/simple2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/output/simple2 -------------------------------------------------------------------------------- /engine/testcases/stable/output/simple3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/output/simple3 -------------------------------------------------------------------------------- /engine/testcases/stable/output/transitive: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable/output/transitive -------------------------------------------------------------------------------- /engine/testcases/stable_strong/input/family1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/input/family1 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/input/family2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/input/family2 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/input/modal1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/input/modal1 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/input/multiple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/input/multiple -------------------------------------------------------------------------------- /engine/testcases/stable_strong/input/multiple2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/input/multiple2 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/input/naf6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/input/naf6 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/input/no_model: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/input/no_model -------------------------------------------------------------------------------- /engine/testcases/stable_strong/input/simple1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/input/simple1 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/input/transitive: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/input/transitive -------------------------------------------------------------------------------- /engine/testcases/stable_strong/output/family1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/output/family1 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/output/family2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/output/family2 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/output/modal1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/output/modal1 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/output/multiple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/output/multiple -------------------------------------------------------------------------------- /engine/testcases/stable_strong/output/multiple2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/output/multiple2 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/output/naf6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/output/naf6 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/output/no_model: -------------------------------------------------------------------------------- 1 | ERROR: Program has no answer. 2 | -------------------------------------------------------------------------------- /engine/testcases/stable_strong/output/simple1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/output/simple1 -------------------------------------------------------------------------------- /engine/testcases/stable_strong/output/transitive: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/testcases/stable_strong/output/transitive -------------------------------------------------------------------------------- /engine/ulex_handler.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/ulex_handler.pl -------------------------------------------------------------------------------- /engine/utils.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/utils.pl -------------------------------------------------------------------------------- /engine/verbalizer/attach_var_lists.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/verbalizer/attach_var_lists.pl -------------------------------------------------------------------------------- /engine/verbalizer/clean_propernames.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/verbalizer/clean_propernames.pl -------------------------------------------------------------------------------- /engine/verbalizer/drs_generator.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/verbalizer/drs_generator.pl -------------------------------------------------------------------------------- /engine/verbalizer/expand_drs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/verbalizer/expand_drs.pl -------------------------------------------------------------------------------- /engine/verbalizer/verbalizer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/verbalizer/verbalizer.pl -------------------------------------------------------------------------------- /engine/webservice/.gitignore: -------------------------------------------------------------------------------- 1 | acerules-server.exe 2 | -------------------------------------------------------------------------------- /engine/webservice/acerules.wsdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/webservice/acerules.wsdl -------------------------------------------------------------------------------- /engine/webservice/acerules_server.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/webservice/acerules_server.pl -------------------------------------------------------------------------------- /engine/webservice/acerulesws.perl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/webservice/acerulesws.perl -------------------------------------------------------------------------------- /engine/webservice/compile_webservice.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/webservice/compile_webservice.sh -------------------------------------------------------------------------------- /engine/webservice/get_results.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/webservice/get_results.pl -------------------------------------------------------------------------------- /engine/webservice/soap_utils.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/engine/webservice/soap_utils.pl -------------------------------------------------------------------------------- /webapp/.gitignore: -------------------------------------------------------------------------------- 1 | .classpath 2 | .project 3 | .settings 4 | acerules.war -------------------------------------------------------------------------------- /webapp/TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/TODO.txt -------------------------------------------------------------------------------- /webapp/build.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/build.xml -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/AnswerArea.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/AnswerArea.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/App.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/App.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/ErrorMessage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/ErrorMessage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/History.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/History.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/LoadExampleWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/LoadExampleWindow.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/LoadProgramWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/LoadProgramWindow.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/MenuBar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/MenuBar.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/NormalButton.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/NormalButton.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/ProgramArea.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/ProgramArea.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/Request.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/Request.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/SaveProgramWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/SaveProgramWindow.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/SavedPrograms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/SavedPrograms.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/Servlet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/Servlet.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/SquareButton.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/SquareButton.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/TraceArea.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/TraceArea.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/UserInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/UserInterface.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/HelpButton.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/HelpButton.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/HelpLink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/HelpLink.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/HelpWindow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/HelpWindow.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/PageManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/PageManager.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/WebLink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/WebLink.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/AboutPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/AboutPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/AcePage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/AcePage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/AnswerAreaPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/AnswerAreaPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/CourteousPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/CourteousPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/CyclicPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/CyclicPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/FactExamplesPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/FactExamplesPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/IntroductionPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/IntroductionPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/MenuBarPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/MenuBarPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ModePage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ModePage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/NotAvailablePage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/NotAvailablePage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/Page.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/Page.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/PrioritiesPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/PrioritiesPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ProgramAreaPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ProgramAreaPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/QuickStartPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/QuickStartPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/RuleExamplesPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/RuleExamplesPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ShortcutsPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ShortcutsPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/StableNegPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/StableNegPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/StablePage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/StablePage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/SyntaxBasicsPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/SyntaxBasicsPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/TraceAreaPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/TraceAreaPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/TwoNegationsPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/TwoNegationsPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ContainsQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ContainsQuery.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/CyclicProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/CyclicProgram.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/DistPluralNotSupported.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/DistPluralNotSupported.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/DoubleNegation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/DoubleNegation.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/EmptyProgPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/EmptyProgPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/FactHeadNegation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/FactHeadNegation.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/FunctionwordApposition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/FunctionwordApposition.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/InexistentLabel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/InexistentLabel.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/InvalidIdentity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/InvalidIdentity.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/InvalidPriorities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/InvalidPriorities.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/InvalidSentence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/InvalidSentence.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ModalityNotSupported.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ModalityNotSupported.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NafInTopLevel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NafInTopLevel.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NoAnswer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NoAnswer.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NoFullStopPage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NoFullStopPage.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NoSavedPrograms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NoSavedPrograms.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NoSpaceForPrograms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NoSpaceForPrograms.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NotFlatInsideOfNeg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NotFlatInsideOfNeg.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NotFlatInsideOfThen.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NotFlatInsideOfThen.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NotLiteralsInIf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/NotLiteralsInIf.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/PrioritiesNotSupported.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/PrioritiesNotSupported.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ProgramTooLarge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ProgramTooLarge.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/PropernameApposition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/PropernameApposition.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/RedefinedVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/RedefinedVariable.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ThatSubordNotSupported.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ThatSubordNotSupported.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/TooManySavedPrograms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/TooManySavedPrograms.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/UnknownWord.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/UnknownWord.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/UnresolvedAnaphor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/UnresolvedAnaphor.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ViolatedAtomRestr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/error/ViolatedAtomRestr.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ref/Fuchs2006.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ref/Fuchs2006.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ref/Gelfond1988.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ref/Gelfond1988.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ref/Gelfond1991.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ref/Gelfond1991.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ref/Grosof1997.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/help/page/ref/Grosof1997.java -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderBottom.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderBottom.png -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderBottomLeft.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderBottomLeft.png -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderBottomRight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderBottomRight.png -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderLeft.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderLeft.png -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderRight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderRight.png -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderTop.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderTop.png -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderTopLeft.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderTopLeft.png -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderTopRight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/resource/BorderTopRight.png -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/resource/MenuBottom.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/resource/MenuBottom.png -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/style/Default.stylesheet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/style/Default.stylesheet -------------------------------------------------------------------------------- /webapp/src/ch/uzh/ifi/attempto/acerules/style/Styles.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/src/ch/uzh/ifi/attempto/acerules/style/Styles.java -------------------------------------------------------------------------------- /webapp/war/WEB-INF/.gitignore: -------------------------------------------------------------------------------- 1 | classes -------------------------------------------------------------------------------- /webapp/war/WEB-INF/lib/Echo2_App.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/WEB-INF/lib/Echo2_App.jar -------------------------------------------------------------------------------- /webapp/war/WEB-INF/lib/Echo2_Extras_App.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/WEB-INF/lib/Echo2_Extras_App.jar -------------------------------------------------------------------------------- /webapp/war/WEB-INF/lib/Echo2_Extras_WebContainer.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/WEB-INF/lib/Echo2_Extras_WebContainer.jar -------------------------------------------------------------------------------- /webapp/war/WEB-INF/lib/Echo2_WebContainer.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/WEB-INF/lib/Echo2_WebContainer.jar -------------------------------------------------------------------------------- /webapp/war/WEB-INF/lib/Echo2_WebRender.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/WEB-INF/lib/Echo2_WebRender.jar -------------------------------------------------------------------------------- /webapp/war/WEB-INF/lib/echopointng-2.2.0rc2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/WEB-INF/lib/echopointng-2.2.0rc2.jar -------------------------------------------------------------------------------- /webapp/war/WEB-INF/lib/javax.servlet.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/WEB-INF/lib/javax.servlet.jar -------------------------------------------------------------------------------- /webapp/war/WEB-INF/lib/jdom.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/WEB-INF/lib/jdom.jar -------------------------------------------------------------------------------- /webapp/war/WEB-INF/web.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/WEB-INF/web.xml -------------------------------------------------------------------------------- /webapp/war/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/index.html -------------------------------------------------------------------------------- /webapp/war/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webapp/war/style.css -------------------------------------------------------------------------------- /webclient/acerules.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webclient/acerules.css -------------------------------------------------------------------------------- /webclient/acerules.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webclient/acerules.html -------------------------------------------------------------------------------- /webclient/acerules.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tkuhn/AceRules/HEAD/webclient/acerules.js --------------------------------------------------------------------------------