Suchergebnisse - "Declarative logic programming language"

The execution algorithm of mercury, an efficient purely declarative logic programming language von Somogyi, Zoltan, Henderson, Fergus, Conway, Thomas

“… We introduce Mercury, a new purely declarative logic programming language designed to provide the support that groups of application programmers need when building large programs …”
Volltext

The execution algorithm of mercury, an efficient purely declarative logic programming language: High-performance implementations of logic programming systems von SOMOGYI, Z, HENDERSON, F, CONWAY, T

Volltext

Synthesizing Formal Network Specifications From Input-Output Examples von Chen, Haoxian, Wu, Chenyuan, Zhao, Andrew, Raghothaman, Mukund, Naik, Mayur, Loo, Boon Thau

“… We propose, a tool that synthesizes network specifications in a declarative logic programming language from input-output examples …”
Volltext

Fixpoints for the masses: programming with first-class Datalog constraints von Madsen, Magnus, Lhoták, Ondřej

“… Datalog is a declarative logic programming language that has been used in a variety of applications, including big-data analytics, language processing, networking and distributed systems, and program analysis …”
Volltext

Finding Cross-Rule Optimization Bugs in Datalog Engines von Zhang, Chi, Wang, Linzhang, Rigger, Manuel

“… Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations …”
Volltext

Automatic data aggregation for recursively modeled NFV services von Cai, Xuejun, John, Wolfgang, Meirosu, Catalin

“… We propose to use Datalog, a declarative logic programming language, to build a framework that supports efficient data aggregation for performance metrics of recursively modeled network services …”
Volltext

Scallop: A Language for Neurosymbolic Programming von Li, Ziyang, Huang, Jiani, Naik, Mayur

“… ) a declarative logic programming language that is based on Datalog and supports recursion, aggregation, and negation; and 3 …”
Volltext

Algorithmic definitions for KLM-style defeasible disjunctive Datalog von Morris, Matthew, Ross, Tala, Meyer, Thomas

“… Datalog is a declarative logic programming language that uses classical logical reasoning as its basic form of reasoning …”
Volltext

Effective interactive resolution of static analysis alarms von Zhang, Xin, Grigore, Radu, Si, Xujie, Naik, Mayur

“… We have implemented our approach in a tool, Ursa, that enables interactive alarm resolution for any analysis specified in the declarative logic programming language Datalog …”
Volltext

Accelerating Datalog applications with cuDF von Shovon, Ahmedur Rahman, Dyken, Landon Richard, Green, Oded, Gilray, Thomas, Kumar, Sidharth

“… Datalog, a bottom-up declarative logic programming language, has a wide variety of uses for deduction, modeling, and data analysis, across application domains …”
Volltext

An Introduction to Declarative Programming in CLIPS and PROLOG von Watkin, Jack L, Volk, Adam C, Perugini, Saverio

“… We provide a brief introduction to CLIPS-a declarative/logic programming language for implementing expert systems-and PROLOG-a declarative/logic programming language based on first-order, predicate calculus …”
Volltext

Analysis of the methods for competing recursion in recursive riles in the logic programming language Prolog von Zdor, Dmitrii Valer'evich, Gornostaeva, Tat'yana Nikolaevna

“… One of such programming languages is the nonprocedural declarative logic programming language Prolog …”
Volltext

Finding Cross-rule Optimization Bugs in Datalog Engines von Zhang, Chi, Wang, Linzhang, Rigger, Manuel

“… Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations …”
Volltext

Scallop: A Language for Neurosymbolic Programming von Li, Ziyang, Huang, Jiani, Naik, Mayur

“… ) a declarative logic programming language that is based on Datalog and supports recursion, aggregation, and negation; and 3 …”
Volltext

Recursively querying monitoring data in NFV environments von Xuejun Cai, John, Wolfgang, Meirosu, Catalin

“… , typically realized by Cloud virtualization technologies. In this paper, we propose to use Datalog, a declarative logic programming language, to build a query engine …”
Volltext

Superoptimisation : provably optimal code generation using answer set programming von Crick, Thomas

“… Code optimisation in modern compliers is an accepted misnomer for performance improvement some of the time. The code that compliers generate is often …”
Volltext

The Implementation of Polymorphic Many-Dorted Type System for Logic Programming Language Gödel von Li Hui-qi, Zhao Zhi-zhuo

“… Gödel is a declarative logic programming language succeeded to prolog. One of its important characteristics is polymorphic many-sorted type system …”
Volltext

Building knowledge systems in A -Prolog von Nogueira, Monica De Lima

“… This work is written in the context of the logic-based approach to Artificial Intelligence (AI) proposed by John McCarthy in 1959 [134]. According to this …”
Volltext

Formal characterizations for active database specification, verification and maintainability von Nakamura, Mutsumi

“… In this thesis, we make several contributions towards developing a more formal approach for systematic design of active databases. We present a formal …”
Volltext

LogiQL: A Query Language for Smart Databases

“… For readers with at least a basic background in computer programming, Halin and Rugaber introduce programming in LogiQL, a declarative logic programming language developed to harness the power …”
Volltext