Search Results - Declarative logic programming language

The execution algorithm of mercury, an efficient purely declarative logic programming language by 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…”
Get full text

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

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

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

Get full text

Beyond NP: Quantifying over Answer Sets by 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…”
Get full text

Fixpoints for the masses: programming with first-class Datalog constraints by 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…”
Get full text

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

Get full text

Automatic data aggregation for recursively modeled NFV services by 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…”
Get full text

Declarative probabilistic logic programming in discrete-continuous domains by 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…”
Get full text

Design and Implementation of a Compiled Declarative Language for Game AI Control by 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…”
Get full text

An Introduction to Declarative Programming in CLIPS and PROLOG by 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…”
Get full text

Synthesizing Formal Network Specifications From Input-Output Examples by 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…”
Get full text

A Linear Logic Programming Language for Concurrent Programming over Graph Structures by 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…”
Get full text

Operational semantics for declarative multi-paradigm languages by 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…”
Get full text

Fuzzy linguistic logic programming and its applications by 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áš…”
Get full text

Expressing and Verifying Business Contracts with Abductive Logic Programming by 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…”
Get full text

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

Get full text

Meld: A declarative approach to programming ensembles by 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…”
Get full text

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

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

Proceedings 35th International Conference on Logic Programming (Technical Communications) by 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…”
Get full text

LoRP: LLM-based Logical Reasoning via Prolog by 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…”
Get full text