Searching for "Modulog "isa" Prolog." – sorted by Relevance.
26,711 documents found, showing 1 through 10.
Next 10 →
-
IsaWhelk: Whelk Interpreted in Isabelle
- …IsaWhelk: Whelk Interpreted in Isabelle David A. Basin Max-Planck-Institut fur Informatik Im…
- Cited by 2 (2 self) – Add To MetaCart
-
Engaging Prolog with RDF
- … literal literal Bags PrologModule body , ; isa parameters definitions* predicate export* Rule parameters…
- Cited by 1 (0 self) – Add To MetaCart
-
Isa Project
- … ISA PROJECT Porting the ANSA testbench onto Chorus/Mix (3.2) Abstract: This document details…
- Add To MetaCart
-
Isas Sissa
- …ISAS SISSA SCUOLA INTERNAZIONALE SUPERIORE DI STUDI AVANZATI INTERNATIONAL SCHOOL FOR ADVANCED…
- Add To MetaCart
-
MOKUM (Prolog) Kernel User's Manual
- …MOKUM (Prolog) Kernel User's Manual M.V. Gamito Dignum E.G. Keizer R.P.van de Riet Department…
- Add To MetaCart
-
Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog
- …Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog Olivier Ridoux IRISA…
- Cited by 6 (1 self) – Add To MetaCart
-
Automatic Transformation of Deterministic Prolog Programs
- …Automatic Transformation of Deterministic Prolog Programs to KL1 Konstantinos Varsamos Department…
- Add To MetaCart
-
Modeling and Verification of ISA Implementations
- …Modeling and Verification of ISA Implementations Computation Structures Group Memo 400 (A) Xiaowei…
- Cited by 10 (2 self) – Add To MetaCart
-
Modeling and Verification of ISA Implementations
- …Modeling and Verification of ISA Implementations Computation Structures Group Memo 400 (A) June 20…
- Add To MetaCart
-
Brayshaw Eisenstadt: "Abstractions in the Transparent Prolog Machine"
- …: Abstractions in the Transparent Prolog Machine explore(X isa mammal) explore(X isa carnivore) explore(X isa…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
