Searching for "A Declarative Alternative to "Assert" in Logic Programming." – sorted by Relevance.
73,705 documents found, showing 1 through 10.
Next 10 →
-
A Declarative Alternative to "Assert" in Logic Programming
- …A Declarative Alternative to "assert" in Logic Programming Scott Dietzen and Frank Pfenning School…
- Cited by 8 (1 self) – Add To MetaCart
-
A Declarative Alternative to "assert" in Logic Programming
- …A Declarative Alternative to “assert” in Logic Programming Scott Dietzen and Frank Pfenning School…
- Add To MetaCart
-
Inductive Assertion Method For Logic Programs
- … in Section 4. Now we introduce a metalanguage for writing assertions for logic programs. The language…
- Cited by 53 (12 self) – Add To MetaCart
-
Implementation Of Subset Logic Programs
- … in subset-logic programming stems from the fact that it provides a declarative and efficient means…
- Cited by 3 (0 self) – Add To MetaCart
-
Subset Logic Programs And Their Implementation
- … clauses have many uses in the logic programming context: They serve as a declarative alternative to many…
- Cited by 7 (0 self) – Add To MetaCart
-
Semantics of Subset-Logic Languages
- …. The most novel construct of a subset-logic program is the subset assertion, which in conjuction…
- Cited by 3 (1 self) – Add To MetaCart
-
Towards a Broader Basis for Logic Programming
- …-expr = g is a logical consequence of the completion of the program, i.e., augmenting all subset assertions…
- Add To MetaCart
-
An Assertion Language for Debugging of Constraint Logic Programs
- …An Assertion Language for Debugging of Constraint Logic Programs Germ'an Puebla Francisco Bueno…
- Cited by 10 (6 self) – Add To MetaCart
-
2. An Assertion Language for Constraint Logic Programs
- … 2. An Assertion Language for Constraint Logic Programs Germ'an Puebla, Francisco Bueno…
- Add To MetaCart
-
A Framework for Assertion-based Debugging in Constraint Logic Programming
- …A Framework for Assertion-based Debugging in Constraint Logic Programming German Puebla, Francisco…
- Cited by 8 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
