Výsledky vyhľadávania - Declarative logic programming language

The execution algorithm of mercury, an efficient purely declarative logic programming language Autor 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…”
Získať plný text

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

“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages…”
Získať plný text

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

Získať plný text

Beyond NP: Quantifying over Answer Sets Autor 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…”
Získať plný text

Fixpoints for the masses: programming with first-class Datalog constraints Autor 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…”
Získať plný text

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

Získať plný text

Automatic data aggregation for recursively modeled NFV services Autor 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…”
Získať plný text

Declarative probabilistic logic programming in discrete-continuous domains Autor 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…”
Získať plný text

Design and Implementation of a Compiled Declarative Language for Game AI Control Autor 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…”
Získať plný text

An Introduction to Declarative Programming in CLIPS and PROLOG Autor 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…”
Získať plný text

Synthesizing Formal Network Specifications From Input-Output Examples Autor 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…”
Získať plný text

A Linear Logic Programming Language for Concurrent Programming over Graph Structures Autor 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…”
Získať plný text

Operational semantics for declarative multi-paradigm languages Autor 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…”
Získať plný text

Fuzzy linguistic logic programming and its applications Autor 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áš…”
Získať plný text

Expressing and Verifying Business Contracts with Abductive Logic Programming Autor 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…”
Získať plný text

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

Získať plný text

Meld: A declarative approach to programming ensembles Autor 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…”
Získať plný text

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

“… (in)adequacy of the Prolog debugger for declarative programming. Logic programming is a declarative programming paradigm…”
Získať plný text

Proceedings 35th International Conference on Logic Programming (Technical Communications) Autor 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…”
Získať plný text

LoRP: LLM-based Logical Reasoning via Prolog Autor 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…”
Získať plný text