Searching for "Modulog "isa" Prolog." – sorted by Relevance.
-
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

