Exception Handling in Logic Programming
DOI:
https://doi.org/10.23880/art-16000104Keywords:
Exception Handling, prioritized-choice disjunctive, goalAbstract
One problem on logic programming is to express exception handling. We argue that this problem can be solved by adopting linear logic and prioritized-choice disjunctive goal formulas (PCD) of the form G G 0 *1 ⊕ where G0, G1 are goals. These goals have the following intended semantics: sequentially choose the first true goal GI and execute GI where i (= 0 or 1), discarding the rest if any.
Downloads
Published
2023-10-31
Issue
Section
Articles
License
Copyright (c) 2023 Kwon K
This work is licensed under a Creative Commons Attribution 4.0 International License.
How to Cite
Exception Handling in Logic Programming. (2023). Advances in Robotic Technology, 1(1), 1-3. https://doi.org/10.23880/art-16000104