Functional and logicprogramming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement o...
Functional and logicprogramming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement of execution principles for such integrated languages, while more recently efficient implementations of these execution principles have been developed so that these languages became relevant for practical applications. In this paper, we survey the development of the operational semantics as well as the improvement of the implementation of functional logic languages.
Petri Nets are one of the most basic formal models for the representations and analysis of concurrent programming. Combining finite automata with non-deterministic Petri net, we introduce a new paradigm of Non-Determi...
详细信息
We propose a typed, higher-order, concurrent linear logicprogramming called higher-order A CL, which uniformly integrates a variety of mechanisms for concurrent computation based on asynchronous message passing. High...
详细信息
Genetic programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to parse trees. Hence, GP should be able to ...
详细信息
According to rumors, the early hybrids of object-oriented and deductive languages were mutants that escaped from secret Government AI labs. Whether this is true or not, the fact is that by mid-80’s, database and logi...
详细信息
ISBN:
(纸本)9783540606086
According to rumors, the early hybrids of object-oriented and deductive languages were mutants that escaped from secret Government AI labs. Whether this is true or not, the fact is that by mid-80’s, database and logicprogramming communities began to take notice. The temptation was hard to resist: the object-oriented paradigm provides a better way of manipulating structured objects, while logic and deduction offer the power and flexibility of ad hoc querying and reasoning. Thus, hybrid languages have the potential for becoming an ideal turf for cultivating the next generation of information systems. The approaches to integration of the two paradigms range from logic-based languages with unified declarative semantics, to message-passing prologs, to Prolog/C++ cocktails. In the past eight years, my colleagues and I have been developing a unified object-based logic intended to capture most of the essentials of the object-oriented paradigm. The overall plot here is that once the fundamentals are in place, the actual hybrid programming languages can be carved out of the logic the same way as deductive data languages have been carved out of the classical logic. There are two distinct aspects in object-orientation: structural (the statics) and procedural (the dynamics). The static aspect was somewhat easier to capture in logic and after taking a few wrong turns F-logic was developed [17]. Taming the dynamics was harder, because there was no widely accepted solution to the problem of state changes even for traditional deductive languages. Our recent work on Transaction logic [8, 7] appears to provide an adequate framework for specifying the dynamics in classical deductive languages. This paper first reviews some core aspects of F-logic and Transaction logic, and then shows how the two can be combined in a natural way to yield a unified foundation for future work on deductive object-oriented languages both in theory and practice. At the end, we discuss areas that still remai
Constraint logicprogramming language embodying extensional finite Fuzzy Sets is presented. Basic fuzzy set operations (=, ∈, ≠, and ∉) are defined as constraints over fuzzy sets and their elements. Simple list-like...
详细信息
Model generation refers to the automatic construction of models of a given logical theory. It can be regarded as a special case of constraint satisfaction where the constraints are a set of clauses with equality and f...
详细信息
The proceedings contain 39 papers. The special focus in this conference is on Fundamentals and Databases. The topics include: How they are and where are they going;fuzzy logic from the logical point of view;sense of d...
ISBN:
(纸本)3540606092
The proceedings contain 39 papers. The special focus in this conference is on Fundamentals and Databases. The topics include: How they are and where are they going;fuzzy logic from the logical point of view;sense of direction in processor networks;welcoming the super turing theories;what NARX networks can compute;introduction to problems;distributed information systems;extending database technology;introducing SSADM4+ and PRINCE;a comparison of two support systems for proof;development of safety-critical real-time systems;why use evolving algebras for hardware and software engineering?;experience with chorus;high-level languages for parallel scientific computing;on some new aspects of networked multimedia systems;from GIS to GIMS and open GIS;WWW - the world wide web;implementation of higher-order unification based on calculus of explicit substitution;a modular history-oriented access structure for bitemporal relational databases;software engineering meets human-computer interaction;parsing of free-word-order languages;distributed algorithm for finding a core of a tree network;stepwise synthesis of reactive programs;a simple and efficient incremental LL(1) parsing;fundamentals of contex-sensitive rewriting;constraint logicprogramming with fuzzy sets;parallel processing of image database queries;maximum flow problem in distributed environment;fuzzy set theory and medical expert systems: survey and model;the fusion object-oriented method;integration of object-oriented analysis and algebraic specifications;on the implementation of some residual minimizing krylov space methods;a formal lazy replication regime for spreading conversion functions over objectbases;hopfield languages;inconsitency conflict resolution and a methodology for performance and scalability analysis.
The relation of inclusion between types has been suggested by the practice of programming, as it enriches the polymorphism of functional languages. We propose a simple (and linear) calculus of sequents for subtyping a...
详细信息
The relation of inclusion between types has been suggested by the practice of programming, as it enriches the polymorphism of functional languages. We propose a simple (and linear) calculus of sequents for subtyping as logical entailment. This allows to derive a complete and coherent approach to subtyping from a few, logically meaningful, sequents. In particular, transitivity and anti-symmetry are derived from elementary logical principles, which stresses the power of sequents and Gentzen-style proof methods. Indeed, proof techniques based on cut-elimination are at the core of our results.
暂无评论