Downloads & Free Reading Options - Results

Includes bibliographical references and index

Includes bibliographical references and index

Includes bibliographical references and index

Intuitionistic logic programming provides the notion of embedded implication in rule bodies, which can be used to reason about a current database modified by the antecedent. This can be applied to a system that translates SQL to Datalog to solve SQL WITH queries, for which relations are locally defined and can therefore be understood as added to the current database. In addition, assumptions in SQL queries as either adding or removing data can be modelled in this way as well, which is an interesting feature for decision-support scenarios. This work suggests a way to apply intuitionistic logic programming to SQL, and provides a pointer to a working system implementing this idea.

Intuitionistic logic programming provides the notion of embedded implication in rule bodies, which can be used to reason about a current database modified by the antecedent. This can be applied to a system that translates SQL to Datalog to solve SQL WITH queries, for which relations are locally defined and can therefore be understood as added to the current database. In addition, assumptions in SQL queries as either adding or removing data can be modelled in this way as well, which is an interesting feature for decision-support scenarios. This work suggests a way to apply intuitionistic logic programming to SQL, and provides a pointer to a working system implementing this idea.

Intuitionistic logic programming provides the notion of embedded implication in rule bodies, which can be used to reason about a current database modified by the antecedent. This can be applied to a system that translates SQL to Datalog to solve SQL WITH queries, for which relations are locally defined and can therefore be understood as added to the current database. In addition, assumptions in SQL queries as either adding or removing data can be modelled in this way as well, which is an interesting feature for decision-support scenarios. This work suggests a way to apply intuitionistic logic programming to SQL, and provides a pointer to a working system implementing this idea.

Intuitionistic logic programming provides the notion of embedded implication in rule bodies, which can be used to reason about a current database modified by the antecedent. This can be applied to a system that translates SQL to Datalog to solve SQL WITH queries, for which relations are locally defined and can therefore be understood as added to the current database. In addition, assumptions in SQL queries as either adding or removing data can be modelled in this way as well, which is an interesting feature for decision-support scenarios. This work suggests a way to apply intuitionistic logic programming to SQL, and provides a pointer to a working system implementing this idea.

Intuitionistic logic programming provides the notion of embedded implication in rule bodies, which can be used to reason about a current database modified by the antecedent. This can be applied to a system that translates SQL to Datalog to solve SQL WITH queries, for which relations are locally defined and can therefore be understood as added to the current database. In addition, assumptions in SQL queries as either adding or removing data can be modelled in this way as well, which is an interesting feature for decision-support scenarios. This work suggests a way to apply intuitionistic logic programming to SQL, and provides a pointer to a working system implementing this idea.

The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are partly theoretical: tabling ensures termination and optimal known complexity for queries to a large class of programs. However the overriding reasons are practical. TLP allows sophisticated programs to be written concisely and efficiently, especially when mechanisms such as tabled negation and call and answer subsumption are supported. As a result TLP has now been used in a variety of applications from program analysis to querying over the semantic web. This paper provides a survey of TLP and its applications as implemented in XSB Prolog, along with discussion of how XSB supports tabling with dynamically changing code, and in a multi-threaded environment.

The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are partly theoretical: tabling ensures termination and optimal known complexity for queries to a large class of programs. However the overriding reasons are practical. TLP allows sophisticated programs to be written concisely and efficiently, especially when mechanisms such as tabled negation and call and answer subsumption are supported. As a result TLP has now been used in a variety of applications from program analysis to querying over the semantic web. This paper provides a survey of TLP and its applications as implemented in XSB Prolog, along with discussion of how XSB supports tabling with dynamically changing code, and in a multi-threaded environment.

This progress report summarizes work performed under AFOSR-88-0152 on parallel logic programming, problem solving, and deductive databases. A parallel problem solving system, PRISM (Parallel Inference System), that was implemented on McMOB was ported to the BBN Butterfly machine. Two versions of PRISM were developed and are operational on the Butterfly: a message passing ring structure system and a shared-memory system. Experimental testing of PRISM on McMOB continued, while experiments were also conducted on the Butterfly systems. Three enhancements were made and completed during the grant period. These are: a capability to handle negated queries and a capability to assert and retract statements. In addition to the above, work continued in the area of informative answers to queries in deductive data bases. A thesis was completed on the subject. An interpreter was developed and is running, that can take restricted natural language as input and can respond with a cooperative natural language output. In the area of parallel software development, the following were accomplished. Theoretical work on slicing/splicing was completed. Tools were provided for software development using artificial intelligence techniques. AI software for massively parallel architectures was started.

This progress report summarizes work performed under AFOSR-88-0152 on parallel logic programming, problem solving, and deductive databases. A parallel problem solving system, PRISM (Parallel Inference System), that was implemented on McMOB was ported to the BBN Butterfly machine. Two versions of PRISM were developed and are operational on the Butterfly: a message passing ring structure system and a shared-memory system. Experimental testing of PRISM on McMOB continued, while experiments were also conducted on the Butterfly systems. Three enhancements were made and completed during the grant period. These are: a capability to handle negated queries and a capability to assert and retract statements. In addition to the above, work continued in the area of informative answers to queries in deductive data bases. A thesis was completed on the subject. An interpreter was developed and is running, that can take restricted natural language as input and can respond with a cooperative natural language output. In the area of parallel software development, the following were accomplished. Theoretical work on slicing/splicing was completed. Tools were provided for software development using artificial intelligence techniques. AI software for massively parallel architectures was started.

This progress report summarizes work performed under AFOSR-88-0152 on parallel logic programming, problem solving, and deductive databases. A parallel problem solving system, PRISM (Parallel Inference System), that was implemented on McMOB was ported to the BBN Butterfly machine. Two versions of PRISM were developed and are operational on the Butterfly: a message passing ring structure system and a shared-memory system. Experimental testing of PRISM on McMOB continued, while experiments were also conducted on the Butterfly systems. Three enhancements were made and completed during the grant period. These are: a capability to handle negated queries and a capability to assert and retract statements. In addition to the above, work continued in the area of informative answers to queries in deductive data bases. A thesis was completed on the subject. An interpreter was developed and is running, that can take restricted natural language as input and can respond with a cooperative natural language output. In the area of parallel software development, the following were accomplished. Theoretical work on slicing/splicing was completed. Tools were provided for software development using artificial intelligence techniques. AI software for massively parallel architectures was started.

This progress report summarizes work performed under AFOSR-88-0152 on parallel logic programming, problem solving, and deductive databases. A parallel problem solving system, PRISM (Parallel Inference System), that was implemented on McMOB was ported to the BBN Butterfly machine. Two versions of PRISM were developed and are operational on the Butterfly: a message passing ring structure system and a shared-memory system. Experimental testing of PRISM on McMOB continued, while experiments were also conducted on the Butterfly systems. Three enhancements were made and completed during the grant period. These are: a capability to handle negated queries and a capability to assert and retract statements. In addition to the above, work continued in the area of informative answers to queries in deductive data bases. A thesis was completed on the subject. An interpreter was developed and is running, that can take restricted natural language as input and can respond with a cooperative natural language output. In the area of parallel software development, the following were accomplished. Theoretical work on slicing/splicing was completed. Tools were provided for software development using artificial intelligence techniques. AI software for massively parallel architectures was started.

This progress report summarizes work performed under AFOSR-88-0152 on parallel logic programming, problem solving, and deductive databases. A parallel problem solving system, PRISM (Parallel Inference System), that was implemented on McMOB was ported to the BBN Butterfly machine. Two versions of PRISM were developed and are operational on the Butterfly: a message passing ring structure system and a shared-memory system. Experimental testing of PRISM on McMOB continued, while experiments were also conducted on the Butterfly systems. Three enhancements were made and completed during the grant period. These are: a capability to handle negated queries and a capability to assert and retract statements. In addition to the above, work continued in the area of informative answers to queries in deductive data bases. A thesis was completed on the subject. An interpreter was developed and is running, that can take restricted natural language as input and can respond with a cooperative natural language output. In the area of parallel software development, the following were accomplished. Theoretical work on slicing/splicing was completed. Tools were provided for software development using artificial intelligence techniques. AI software for massively parallel architectures was started.

The Journal of Logic and Algebraic Programming 1998: Volume 34 , Issue Index. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1997-12_33_3 . Next issue: sim_journal-of-logic-and-algebraic-programming_1998_34_contents . Note: This issue has no cover

The Journal of Logic and Algebraic Programming 1998: Volume 34 , Issue Index. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1997-12_33_3 . Next issue: sim_journal-of-logic-and-algebraic-programming_1998_34_contents . Note: This issue has no cover

The Journal of Logic and Algebraic Programming 1998: Volume 34 , Issue Index. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1997-12_33_3 . Next issue: sim_journal-of-logic-and-algebraic-programming_1998_34_contents . Note: This issue has no cover

The Journal of Logic and Algebraic Programming 1998: Volume 34 , Issue Index. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1997-12_33_3 . Next issue: sim_journal-of-logic-and-algebraic-programming_1998_34_contents . Note: This issue has no cover

The Journal of Logic and Algebraic Programming 1998: Volume 36 , Issue CONTENTS. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1998_36_index . Next issue: sim_journal-of-logic-and-algebraic-programming_1998-07_36_1 . Note: This issue has no cover

The Journal of Logic and Algebraic Programming 1999: Volume 38 , Issue CONTENTS. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1999_38_index . Next issue: sim_journal-of-logic-and-algebraic-programming_1999-01_38_1 . Note: This issue has no cover

The Journal of Logic Programming 1992: Volume 14 , Issue Index. Digitized from IA1652909-07 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1992-08_13_4 . Next issue: sim_journal-of-logic-and-algebraic-programming_1992_14_contents .

The Journal of Logic and Algebraic Programming is an active peer-reviewed academic journal featuring original research papers, survey and review articles, tutorial expositions and historical studies in logic programming. It was established in 1984 and is published 6 times a year by Elsevier. The journal provides a platform for researchers, scientists, and computer scientists to publish original research articles, reviews, and perspectives covering a wide range of topics related to the theoretical foundations and practical applications of logic-based programming and algebraic programming languages. It publishes research on programming methodologies, program verification, logic programming languages, type systems, and formal methods. The journal features articles that explore the use of logic and algebraic techniques for program analysis, synthesis, and optimization. It covers research on program semantics, constraint solving, program transformation, and software engineering techniques based on logical and algebraic principles. The Internet Archive Collection contains microfilm published between 1984 and 1999 The Journal of Logic and Algebraic Programming can be found online at: www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming The ISSN is: 1567-8326 Publication History Journal of Logic Programming 0743-1066 (until vol.46, 2001) USA United States | The Journal of Logic and Algebraic Programming 1567-8326 Former titles (until 2014) NLD Netherlands

The Journal of Logic and Algebraic Programming is an active peer-reviewed academic journal featuring original research papers, survey and review articles, tutorial expositions and historical studies in logic programming. It was established in 1984 and is published 6 times a year by Elsevier. The journal provides a platform for researchers, scientists, and computer scientists to publish original research articles, reviews, and perspectives covering a wide range of topics related to the theoretical foundations and practical applications of logic-based programming and algebraic programming languages. It publishes research on programming methodologies, program verification, logic programming languages, type systems, and formal methods. The journal features articles that explore the use of logic and algebraic techniques for program analysis, synthesis, and optimization. It covers research on program semantics, constraint solving, program transformation, and software engineering techniques based on logical and algebraic principles. The Internet Archive Collection contains microfilm published between 1984 and 1999 The Journal of Logic and Algebraic Programming can be found online at: www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming The ISSN is: 1567-8326 Publication History Journal of Logic Programming 0743-1066 (until vol.46, 2001) USA United States | The Journal of Logic and Algebraic Programming 1567-8326 Former titles (until 2014) NLD Netherlands

The Structure and Interpretation of Computer Programs

To help make logic programming more suitable for writing large systems, we develop linguistic mechanisms that permit the organization of logic programs around abstractions. In particular, we present the design of Denali, an equational logic programming language that supports predicate and data abstraction. The key issue in introducing predicate abstraction is dealing with the difference between the declarative and procedural interpretations of logic programs. We address this issue by introducing a two-dimensional type system to describe predicate interfaces. The two components are a sort system and a novel multi-valued mode system. Multi-valued modes constrain the ways in which arguments to predicates may be instantiated. A collection of such modes is defined by the programmer for each sort. The key issue in introducing data abstraction is providing ways to obtain equational unification procedures. We develop a pragmatic approach that relies upon the programmer to implement these procedures. We facilitate this by supporting a variety of techniques that simplify the problem. Among these techniques are treating unification on a sort-by-sort basis, layering implementations so as to exploit built-in unification procedures, and using the mode system to constrain the unification problem.

The initial version of PRISM uses a simulation of the ZMOB hardware, and has been fully tested and debugged. In addition, several enhancements were made to PRISM to permit experimental analyses to be made, and to incorporate additional features to take full advantage of parallelism in a problem solving environment. Tracing and a statistical gathering package were added to permit experimental analysis. An AND-parallelism capability was added to achieve a second version of the PRISM system, and other features were added to the system to more fully exploit parallelism. Preliminary application and evaluation studies were performed. In the area of systems hardware and software, the ZMOB processor is now fully functional and in everyday use with 128 processors. Work is continuing on an experimental upgrade of some of ZMOB's processors to 68000s. Basic system software for multiprocessing on ZMOB is becoming more robust and performance studies now pinpoint areas for improvement. Studies of parallel software debugging continue to prove the value of multiple program views, and in particular the dicing approach was verified in a controlled experiment. We have also constructed an interactive visual slicer. Studies of the automatic parallelization of programs continues. We can now slice/splice arbitrarily structured programs and have techniques that significantly reduce information overhead between the slices and the splicer. (Author)

Ten papers were published and two additional papers were accepted for publication. Moreover, four (4) papers are currently under preparation, including joint papers with W. Drabent, H. Przymusinska, L. Pereira and D.S. Warren. Significant progress has been made towards both theoretical and algorithmic foundations of a non-monotonic reasoning system based on logic programming. An implementation of such a system, limited to circumscriptive theories, has been also completed.

The Journal of Logic Programming 1985: Volume 2 , Issue Index. Digitized from IA1652909-07 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1984-12_1_4 . Next issue: sim_journal-of-logic-and-algebraic-programming_1985_2_contents .

The Journal of Logic and Algebraic Programming 1997: Volume 33 , Issue Index. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1997-09_32_3 . Next issue: sim_journal-of-logic-and-algebraic-programming_1997_33_contents . Note: This issue has no cover

The Journal of Logic and Algebraic Programming 1998: Volume 37 , Issue CONTENTS. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1998_37_index . Next issue: sim_journal-of-logic-and-algebraic-programming_october-december-1998_37_1-3 . Note: This issue has no cover

The Journal of Logic and Algebraic Programming 1998: Volume 37 , Issue CONTENTS. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1998_37_index . Next issue: sim_journal-of-logic-and-algebraic-programming_october-december-1998_37_1-3 . Note: This issue has no cover

Thesis advisor, Cheng-Tsu Wu

Tandy/Radio Shack Book: Z80 Programming for Logic Design (1978)(Osborne and Associates)

Tandy/Radio Shack Book: Z80 Programming for Logic Design (1978)(Osborne and Associates)

Video content can be found here: https://www.youtube.com/channel/UC0BAd8tPlDqFvDYBemHcQPQ/

my

my

my

The Journal of Logic and Algebraic Programming 1996: Volume 29 , Issue Index. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1996-09_28_3 . Next issue: sim_journal-of-logic-and-algebraic-programming_1996_29_contents .

xviii, 184 pages ; 24 cm

This volume contains the papers presented at Arg-LPNMR 2016: First International Workshop on Argumentation in Logic Programming and Nonmonotonic Reasoning held on July 8-10, 2016 in New York City, NY.

A new approach for combining logic programming, rewriting, and lazy evaluation is described. It rests upon subsuming within logic programming, instead of upon extending it with, rewriting, and lazy evaluation. A non- terminating, non-deterministic rewrite rule system, F* and a reduction strategy for it, select, are refined. F* is shown to be reduction-complete in that select simplifies terms whenever possible. A class of F* programs called Deterministic F* is defined and shown to satisfy confluence, directedness, and minimality. Confluence ensures that every term can be simplified in at most one way. Directedness eliminates searching in simplification of terms. Minimality ensures that select simplifies terms in a minimum number of steps. Completeness and minimality enable select to exhibit, respectively, weak and strong forms of laziness. F* can be compiled into Horn clauses in such a way that when SLD- resolution interprets these, it directly simulates the behavior of select. Thus, SLD-resolution is make to exhibit laziness. LOG(F) is defined to be a logic programming system augmented with an F* compiler, and the equality axiom X=X. LOG(F) can be used to do lazy functional programming in logic, implement useful cases of the rule of substitution of equals for equals, and obtain a new proof of confluence for combinatory logic. (aw)

A new approach for combining logic programming, rewriting, and lazy evaluation is described. It rests upon subsuming within logic programming, instead of upon extending it with, rewriting, and lazy evaluation. A non- terminating, non-deterministic rewrite rule system, F* and a reduction strategy for it, select, are refined. F* is shown to be reduction-complete in that select simplifies terms whenever possible. A class of F* programs called Deterministic F* is defined and shown to satisfy confluence, directedness, and minimality. Confluence ensures that every term can be simplified in at most one way. Directedness eliminates searching in simplification of terms. Minimality ensures that select simplifies terms in a minimum number of steps. Completeness and minimality enable select to exhibit, respectively, weak and strong forms of laziness. F* can be compiled into Horn clauses in such a way that when SLD- resolution interprets these, it directly simulates the behavior of select. Thus, SLD-resolution is make to exhibit laziness. LOG(F) is defined to be a logic programming system augmented with an F* compiler, and the equality axiom X=X. LOG(F) can be used to do lazy functional programming in logic, implement useful cases of the rule of substitution of equals for equals, and obtain a new proof of confluence for combinatory logic. (aw)

From the bitsavers.org collection, a scanned-in computer-related document. test equipment :: hp :: 166x :: 01660-90902 1660-Series 100-MHz State 500-MHz Timing Logic Analyzers Programming Guide Aug92

The Journal of Logic Programming 1995: Volume 24 , Issue CONTENTS. Digitized from IA1652909-07 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1995_24_index . Next issue: sim_journal-of-logic-and-algebraic-programming_july-august-1995_24_1-2 .

The Journal of Logic and Algebraic Programming 1998: Volume 35 , Issue CONTENTS. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1998_35_index . Next issue: sim_journal-of-logic-and-algebraic-programming_1998-04_35_1 . Note: This issue has no cover

The Journal of Logic and Algebraic Programming 1998: Volume 35 , Issue CONTENTS. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1998_35_index . Next issue: sim_journal-of-logic-and-algebraic-programming_1998-04_35_1 . Note: This issue has no cover

The Journal of Logic and Algebraic Programming 1998: Volume 35 , Issue CONTENTS. Digitized from IA1652909-05 . Previous issue: sim_journal-of-logic-and-algebraic-programming_1998_35_index . Next issue: sim_journal-of-logic-and-algebraic-programming_1998-04_35_1 . Note: This issue has no cover