Comments (1)
Just wondering if functions will be supported soon, there are some theories I'm working with that have functions so it'd be preferable if the translation for functions is operational.
Traceback of the current error when trying to do consistency check and translation:
Traceback (most recent call last): File "macleod/gui/gui_beta/gui_main.py", line 260, in check_consistency_command (return_value, fastest_reasoner) = ontology.check_consistency(resolve=True) File "/Users/cchui/Documents/GitHub/macleod/macleod/Ontology.py", line 217, in check_consistency reasoners.constructAllCommands(self) File "/Users/cchui/Documents/GitHub/macleod/macleod/ReasonerSet.py", line 38, in constructAllCommands r.constructCommand(ontology) File "/Users/cchui/Documents/GitHub/macleod/macleod/Reasoner.py", line 65, in constructCommand self.args = commands.get_system_command(self.name, ontology) File "/Users/cchui/Documents/GitHub/macleod/macleod/Commands.py", line 26, in get_system_command return handlers.get(system_name, get_empty_cmd)(ontology) File "/Users/cchui/Documents/GitHub/macleod/macleod/Commands.py", line 39, in get_p9_cmd args.append(clif_converter.convert_single_clif_file(ontology,clif_converter.ladr_output,True)) File "/Users/cchui/Documents/GitHub/macleod/bin/clif_converter.py", line 32, in convert_single_clif_file results = ontology.to_ladr(resolve) File "/Users/cchui/Documents/GitHub/macleod/macleod/Ontology.py", line 204, in to_ladr ladr_output.append(axiom.to_ladr()) File "/Users/cchui/Documents/GitHub/macleod/macleod/logical/Axiom.py", line 433, in to_ladr return "{}.".format(ladr_logical(self.sentence)) File "/Users/cchui/Documents/GitHub/macleod/macleod/logical/Axiom.py", line 427, in ladr_logical return "({} {})".format(("all {} " * len(logical.variables)).format(*logical.variables), ladr_logical(logical.terms[0])) File "/Users/cchui/Documents/GitHub/macleod/macleod/logical/Axiom.py", line 423, in ladr_logical return "({})".format(" & ".join([ladr_logical(t) for t in logical.terms])) File "/Users/cchui/Documents/GitHub/macleod/macleod/logical/Axiom.py", line 423, in <listcomp> return "({})".format(" & ".join([ladr_logical(t) for t in logical.terms])) File "/Users/cchui/Documents/GitHub/macleod/macleod/logical/Axiom.py", line 425, in ladr_logical return "({})".format(" | ".join([ladr_logical(t) for t in logical.terms])) File "/Users/cchui/Documents/GitHub/macleod/macleod/logical/Axiom.py", line 425, in <listcomp> return "({})".format(" | ".join([ladr_logical(t) for t in logical.terms])) File "/Users/cchui/Documents/GitHub/macleod/macleod/logical/Axiom.py", line 410, in ladr_logical return "{}({})".format(logical.name, ",".join([ladr_logical(t) for t in logical.variables])) File "/Users/cchui/Documents/GitHub/macleod/macleod/logical/Axiom.py", line 410, in <listcomp> return "{}({})".format(logical.name, ",".join([ladr_logical(t) for t in logical.variables])) File "/Users/cchui/Documents/GitHub/macleod/macleod/logical/Axiom.py", line 412, in ladr_logical return "{}({})".format(logical.name, ",".join(logical.variables)) TypeError: sequence item 0: expected str instance, Function found
from macleod.
Related Issues (20)
- bad magic number in 'macleod': b'\x03\xf3\r\n': ImportError HOT 1
- Feature request: Collate import closure into a single CLIF file HOT 2
- Use psutil instead of PyWin32 and wmi for process info
- AttributeError: module 'macleod.Filemgt' has no attribute 'config_file' HOT 4
- Parser should handle doc blocks in middle of file
- OWL classes and properties not always found HOT 1
- Need to update CLIF BNF grammar
- Error messages that arise from parsing CLIF files need to be more descriptive
- multiprocessing error with python and osx
- translation for exists_at(x,t) HOT 1
- AttributeError: 'NoneType' object has no attribute 'name' HOT 2
- Simplify configuration after install
- dl/translations.py: Are all the property/class declarations still needed?
- Splitting of conjunctions with existentials HOT 1
- Implement OWL pattern "ObjectHasSelf"
- Error in rewriting of nested biconditionals during parsing
- typos in README.md HOT 1
- axiom existential_variables() returns universal variables HOT 1
- Make a PyPI release
- Add more flexibility for configuration
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from macleod.