For-loops in Logic Programming
نویسنده
چکیده
Logic programming has traditionally lacked devices for expressing iterative tasks. To overcome this problem, this paper proposes iterative goal formulas of the form ∧LxG where G is a goal, x is a variable, and L is a list. ∧Lx is called a parallel bounded quantifier. These goals allow us to specify the following task: iterate G with x ranging over all the elements of L. keywords: for-loop, iteration, bounded quantifier, computability logic
منابع مشابه
شبیه‌سازی منحنی‌های پسماند رسوب رودخانه صوفی چای در مواقع سیلابی
Information on suspended sediment variation in times of flood is important in management of water resources, particularly management of basins, and in investigation of the causes of erosion. The relationship between discharge and suspended sediment concentration during floods is not similar and homogeneous for different reasons such as precipitation variety, discharge rate and sources of sedime...
متن کاملA Fast and Self-Repairing Genetic Programming Designer for Logic Circuits
Usually, important parameters in the design and implementation of combinational logic circuits are the number of gates, transistors, and the levels used in the design of the circuit. In this regard, various evolutionary paradigms with different competency have recently been introduced. However, while being advantageous, evolutionary paradigms also have some limitations including: a) lack of con...
متن کاملConstructive Analysis of Cyclic Circuits ( EDTC , Paris , March 1996 )
Traditionally, circuits with combinational loops are found only in asynchronous designs. However, combinational loops can also be useful for synchronous circuit design. Combinational loops can arise from high-level language behavioral compiling, and can be used to reduce circuit size. We provide a symbolic algorithm that detects if a sequential circuit with combinational loops exhibits standard...
متن کاملNurse rostering using fuzzy logic: A case study
In this paper, we used the fuzzy set theory for modeling flexible constraints and uncertain data in nurse scheduling problems and proposed a fuzzy linear model for nurse rostering problems. The developed model can produce rosters that satisfy hospital objectives, ward requirements and staff preferences by satisfying their requests as much as possible. Fuzzy sets are used for modeling demands of...
متن کاملComputing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms
The well-founded semantics of logic programs is not only an important semantics but also serves as an essential tool for program simplification in answer set computations. Recently, it has been shown that for normal and disjunctive programs, the well-founded models can be computed by unit propagation on program completion and loop formulas of loops with no external support. An attractive featur...
متن کاملAn Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
We present the w constraint combinator that models while loops in Constraint Programming. Embedded in a finite domain constraint solver, it allows programmers to develop non-trivial arithmetical relations using loops, exactly as in an imperative language style. The deduction capabilities of this combinator come from abstract interpretation over the polyhedra abstract domain. This combinator has...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1606.04240 شماره
صفحات -
تاریخ انتشار 2016