This article introduces a language FPL allowing to combine functional and logic programming styles in an integrated framework. FPL preserves the essential features and assets of both approaches: clarity, formal simpli...
详细信息
Most real-world applications have come to rely on the mature technology of relational databases for persistent storage, interacting through SQL embedded in the host programming language. Using logic programming we pre...
详细信息
ISBN:
(纸本)9783540929949
Most real-world applications have come to rely on the mature technology of relational databases for persistent storage, interacting through SQL embedded in the host programming language. Using logic programming we present a higher-level alternative to SQL, close in spirit to natural language, yielding much more concise expressions that are easier to understand and promote better code maintenance. This is achieved using the flexible operator syntax and the deductive capabilities, first to compile a clausal representation of the database scheme from a high-level description, and then to interpret queries and commands, through the compiled scheme, into SQL statements.
The main problems and features of data mining are observed. The conveniences providing by the usage of functional language PROLOG for the solving of typical data mining problems are observed through the example of the...
详细信息
ISBN:
(纸本)9781509004454
The main problems and features of data mining are observed. The conveniences providing by the usage of functional language PROLOG for the solving of typical data mining problems are observed through the example of the realization of Naive Bayes algorithm.
The development of programmable switches such as the Intel Tofino has allowed network designers to implement a wide range of new in-network applications and network control logic. However, current switch programming l...
详细信息
ISBN:
(纸本)9783031248405;9783031248412
The development of programmable switches such as the Intel Tofino has allowed network designers to implement a wide range of new in-network applications and network control logic. However, current switch programming languages, like P4, operate at a very low level of abstraction. This paper introduces SwitchLog, a new experimental logic programming language designed to lift the level of abstraction at which network programmers operate, while remaining amenable to efficient implementation on programmable switches. SwitchLog is inspired by previous distributed logic programming languages such as NDLog, in which programmers declare a series of facts, each located at a particular switch in the network. logic programming rules that operate on facts at different locations implicitly generate network communication, and are updated incrementally, as packets pass through a switch. In order to ensure these updates can be implemented efficiently on switch hardware, SwitchLog imposes several restrictions on the way programmers can craft their rules. We demonstrate that SwitchLog can be used to express a variety of networking applications in a mere handful of lines of code.
In this paper, we prove the correspondence between complete extensions in abstract argumentation and 3-valued stable models in logic programming. This result is in line with earlier work of [6] that identified the cor...
详细信息
This paper describes the incremental development of a knowledge based system for supporting floor plan design. A method of gradual space partitioning is developed which allows large flexibility in expressing demand, i...
详细信息
In this work, we explain how Assumption-Based Argumentation (ABA) is subsumed by logic programming (LP). The translation from ABA to LP (with a few restrictions on the ABA framework) results in a normal logic program ...
详细信息
ISBN:
(纸本)9780999241127
In this work, we explain how Assumption-Based Argumentation (ABA) is subsumed by logic programming (LP). The translation from ABA to LP (with a few restrictions on the ABA framework) results in a normal logic program whose semantics coincide with the semantics of the underlying ABA framework. Although the precise technicalities are beyond the current extended abstract (these can be found in the associated full paper) we provide a number of examples to illustrate the general idea.
The present work proposes a new semantics for logic program with preference rules and studies logic programs enriched with both aggregates and preference rules. The interest of research literature in handling user pre...
详细信息
ISBN:
(纸本)3540258787
The present work proposes a new semantics for logic program with preference rules and studies logic programs enriched with both aggregates and preference rules. The interest of research literature in handling user preferences to express a partial order on rules and literals is reflected by an extensive number of proposals. The association of aggregates and preferences is, here, used to also express a partial order on global models, other than on literals and rules, so that optimization problems can be expressed in a simple and elegant way. The use of aggregates makes logic languages more flexible and intuitive, without any additional computational complexity.
A theory of general logics is outlined as a basis for an axiomatic notion of “logic programming language.” It is shown that a wide variety of logical programming languages are instances of the general notion. The pr...
详细信息
Recently, the notion of accrual of arguments has received some attention from the argumentation community. Three principles for argument accrual have been identified as necessary to hold in argumentation frameworks. I...
详细信息
ISBN:
(纸本)9781577354260
Recently, the notion of accrual of arguments has received some attention from the argumentation community. Three principles for argument accrual have been identified as necessary to hold in argumentation frameworks. In this paper we propose an approach to model the accrual of arguments in the context of Defeasible logic programming, a logic programming approach to argumentation which has proven to be successful for many real-world applications. We will analyze the above mentioned principles in the context of our proposal, studying other interesting properties.
暂无评论