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

Declarative Logic Programming: Theory, Systems, and Applications von Michael, Kifer, Liu, Yanhong

“… Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages …”
Volltext

On the algebraic structure of declarative programming languages: Abstract Interpretation and Logic Programming: in Honor of professor Giorgio Levi von AMATO, Gianluca, LIPTON, James, MCGRAIL, Robert

Volltext

Beyond NP: Quantifying over Answer Sets von AMENDOLA, GIOVANNI, RICCA, FRANCESCO, TRUSZCZYNSKI, MIROSLAW

“… Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities …”
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

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

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

Declarative probabilistic logic programming in discrete-continuous domains von Zuidberg Dos Martires, Pedro, De Raedt, Luc, Kimmig, Angelika

“… The resulting paradigm of probabilistic logic programming (PLP) and its programming languages owes much of its success to a declarative semantics, the so-called distribution semantics …”
Volltext

Design and Implementation of a Compiled Declarative Language for Game AI Control von Cromer, Christopher, Araneda, Martin, Rubio-Manzano, Clemente

“… An interesting and alternative line of work is to develop declarative scripting languages which align the programming task closer to human logic …”
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

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

A Linear Logic Programming Language for Concurrent Programming over Graph Structures von CRUZ, FLAVIO, ROCHA, RICARDO, GOLDSTEIN, SETH COPEN, PFENNING, FRANK

“… We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion …”
Volltext

Operational semantics for declarative multi-paradigm languages von Albert, Elvira, Hanus, Michael, Huch, Frank, Oliver, Javier, Vidal, Germán

“… Declarative multi-paradigm languages combine the most important features of functional, logic and concurrent programming …”
Volltext

Fuzzy linguistic logic programming and its applications von LE, VAN HUNG, LIU, FEI, TRAN, DINH KHANG

“… The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtáš …”
Volltext

Expressing and Verifying Business Contracts with Abductive Logic Programming von Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Torroni, Paolo

“… SCIFF is a declarative language, based on abductive logic programming, that accommodates forward rules, predicate definitions, and constraints over finite domain variables …”
Volltext

Design and implementation of 81/2 : a declarative data-parallel language: Parallel logic programming von MICHEL, O

Volltext

Meld: A declarative approach to programming ensembles von Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.

“… Meld is a declarative language, based on P2, a logic- programming language originally designed for programming overlay networks …”
Volltext

The Prolog Debugger and Declarative Programming. Examples von Drabent, Włodzimierz

“… (in)adequacy of the Prolog debugger for declarative programming. Logic programming is a declarative programming paradigm …”
Volltext

Proceedings 35th International Conference on Logic Programming (Technical Communications) von Bogaerts, Bart, Erdem, Esra, Fodor, Paul, misano, Andrea, Ianni, Giovambattista, Inclezan, Daniela, Vidal, German, Villanueva, Alicia, De Vos, Marina, Yang, Fangkai

“… Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques …”
Volltext

LoRP: LLM-based Logical Reasoning via Prolog von Di, Zhengkun, Zhang, Chaoli, Lv, Hongtao, Cui, Lizhen, Liu, Lei

“… Prolog is a high-level declarative programming language based on formal logic, well-suited for handling complex deductive reasoning tasks …”
Volltext