Please, can someone tell me how to display all the resulted answer sets in a logic program compiled with Clingo , without displaying the facts, i need to see only rules without facts.
How to disply answer sets without facts
43 Views Asked by Nadia At
1
There are 1 best solutions below
Related Questions in COMPILATION
- I am trying to run java application in Eclipse, When I try to do Run > Run as > Java Application it starts to show little processing but nothing happe
- Unable to run get .exe file from assembly NASM
- Javascript to Java
- How to compile only the changed files in Verilator?
- Why does the .exe file become locked after compiling?
- Installing the C compiler for LC3
- compile syzkaller fuzzer failed without any error or warning
- Solved: Create standalone executable for MacOS with OpenCV and libmagic
- How to work around the "collect2: error: ld returned 1 exit status" error when running simple fortran files with the gfortran command?
- how to add a compiler type supported for sccache?
- Vulkan ‘VK_INSTANCE_CREATE_ENUMERATE_PORTABILITY_BIT_KHR’ was not declared in this scope
- Rust newbie compile error (for (key: String, value: String) in | ^ expected one of `)`, `,`, `@`, or `|`)
- latest version of redshift with crazy compile times
- Problem compiling out-dated Typescript code
- What is appropriate substitution for configurations.compile in newer gradle e.g. version 8.7?
Related Questions in LOGIC
- Anybody knows where to learn AIMA python library?
- How to render sprites for a snake game using SFML and C++
- What is causing my towers of hanoi logic to infinitely loop?
- sample query for review for improvement on big query
- How do i return an array to display from backwards
- Can I use Sumproduct arrays and check two separate criteria counting TRUE statements?
- R method for comparing NAs between two vectors
- Get latitude/longitude of an image's corners based on two other points
- How to make a chatbot using python which can understand my question and then answer it
- How to find all the possible combinations with condition?
- Strategies for Linking Recipe Ingredients with Specific Products in a Database
- How to avoid duplicate entry of Shops in a Website
- Compare row values in excel and store time value in a variable
- How to Trace a Circuit Path in a Python Matrix Based on Movement Rules?
- How Can JavaScript Handle Large Amounts of JSON Data Quickly?
Related Questions in REASONING
- Get the only solution based on given constraints using z3 theorem
- Find what creates the inconsistency using OWLAPI
- Is there a difference in OWL between using inverseOf and propertyChainAxiom ([inverseOf <property>])?
- Inconsistencies in OWL classes
- Exporting result of eye reasoner query into a file
- How to model occupation in a personal ontology with Wikidata?
- How to generate specific inference using owlapi?
- OWL API, Hermit materialization
- ALC - Ontology consistency checking
- "Ignoring transitivity and/or complex subproperty axioms"
- SWRL rules (or Jena rules) for reasoning on set
- Owl reasoners that can use multiple cpus
- Using a Property Chain with a reasoner is considered to be reasoning. Would it also be considered as reasoning if this is done via a SPARQL query?
- When I use a (complex) SPARQL query to infer something (e.g. that a is in some relation to b that is only given through the query) is it reasoning?
- Using Hermit Reasoner to check if an Ontology is Consistant
Related Questions in ANSWER-SET-PROGRAMMING
- Clingo beginner looking for some guidance
- Clingo and or logical syntax error: unexpected !=
- product aggregates in clingo
- Clingo "info: tuple ignored"
- Clingo constraint not working properly and being ignored
- Optimise Clingo code that takes unreasonable long time to finnish
- Clingo is unsatisfiable (forcing all combinations) even though it should not be
- Sudoku in Clingo
- answer set programming with recursion
- Show sorted predicates in Clingo
- Clingo: Ask clingo to maximise first rule before other rules
- How to make a simple game simulation in clingo?
- How to use optional fields in clingo
- Search space difference between clingo and multishot solving clingo
- Detecting even cycles in a directed graph using answer set programming (clingo)?
Related Questions in CLINGO
- Clingo beginner looking for some guidance
- Clingo and or logical syntax error: unexpected !=
- product aggregates in clingo
- How to access why a clingo program is unsatisfiable
- Clingo "info: tuple ignored"
- Is it possible for clingo to output which facts/rules are used in generating a solution?
- Clingo constraint not working properly and being ignored
- Optimise Clingo code that takes unreasonable long time to finnish
- Clingo is unsatisfiable (forcing all combinations) even though it should not be
- Sudoku in Clingo
- Show sorted predicates in Clingo
- Clingo: Ask clingo to maximise first rule before other rules
- How to make a simple game simulation in clingo?
- How to use optional fields in clingo
- Search space difference between clingo and multishot solving clingo
Trending Questions
- UIImageView Frame Doesn't Reflect Constraints
- Is it possible to use adb commands to click on a view by finding its ID?
- How to create a new web character symbol recognizable by html/javascript?
- Why isn't my CSS3 animation smooth in Google Chrome (but very smooth on other browsers)?
- Heap Gives Page Fault
- Connect ffmpeg to Visual Studio 2008
- Both Object- and ValueAnimator jumps when Duration is set above API LvL 24
- How to avoid default initialization of objects in std::vector?
- second argument of the command line arguments in a format other than char** argv or char* argv[]
- How to improve efficiency of algorithm which generates next lexicographic permutation?
- Navigating to the another actvity app getting crash in android
- How to read the particular message format in android and store in sqlite database?
- Resetting inventory status after order is cancelled
- Efficiently compute powers of X in SSE/AVX
- Insert into an external database using ajax and php : POST 500 (Internal Server Error)
Popular # Hahtags
Popular Questions
- How do I undo the most recent local commits in Git?
- How can I remove a specific item from an array in JavaScript?
- How do I delete a Git branch locally and remotely?
- Find all files containing a specific text (string) on Linux?
- How do I revert a Git repository to a previous commit?
- How do I create an HTML button that acts like a link?
- How do I check out a remote Git branch?
- How do I force "git pull" to overwrite local files?
- How do I list all files of a directory?
- How to check whether a string contains a substring in JavaScript?
- How do I redirect to another webpage?
- How can I iterate over rows in a Pandas DataFrame?
- How do I convert a String to an int in Java?
- Does Python have a string 'contains' substring method?
- How do I check if a string contains a specific word?
To display answer sets without any facts, we use the -c option.
For example:
clingo -c num=0 answer-set.lp
The output would be:
clingo version 5.4.0 Reading from answer-set.lp answer-set()
To display answer sets without any facts, we use the -c option. For example: clingo -c num=0 answer-set.lp The output would be: clingo version 5.4.0 Reading from answer-set.lp answer-set()