A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Logic and programming languages
1977
Communications of the ACM
Preserved Fulltext
But I have followed his career with deep interest and admiration. As you have heard today, Rabin has been able to apply ideas from logic having to do with decidability, computability and complexity to ...
CR Categories: 1.2, 4.20, 5.21, 5.24, 5.27 As the. eleven-and-one-half-th Turing lecturer, it gives me the greatest pleasure to share this prize and this podium with Michael Rabin. ...
Logic and Programming Languages
Dana S. ...
doi:10.1145/359810.359826
fatcat:sy7hg2xtxfh7rfhbhsdxrpsqse
Logic and Agent Programming Languages
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
While BDI logics have been studied extensively, problems related to belief update and analysis of plans in BDI agent programming languages have received less attention. ...
Agent programming languages based on the Belief, Desire and Intentions (BDI) framework present some interesting challenges for logicians. ...
It first introduces main ideas of agent programming languages and then describes some interesting open problems in agent programming language design that relate to logic, database theory and reasoning ...
doi:10.1007/978-3-642-39992-3_1
fatcat:na3khrvurvc3hhxzg3cnef7hfq
Natural language processing and logic programming
1994
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper examines the main points of contact between logic programming and natural language processing, and covers some of the important issues that arise using logic programming techniques in natural ...
language processing. ...
, logic programming, and deductive databases. ...
doi:10.1016/0743-1066(94)90036-1
fatcat:txdqkmwyvjgmfjtn6yt2dpwr4a
Programming for the Humanities - Logic and Adaptable Languages
2016
Proceedings of the 8th International Conference on Computer Supported Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We advocate the teaching of Logic Programming languages: Prolog, and of the Constraint Programming languages, such as CHR. ...
Logic programming permits to formulate the computational problems and their solutions in a form more close to human reasoning than several other languages, and adaptable to the domains of interest of the ...
ABSTRACTIONS AND EXTENSIONS We used logical programming to teach language processing and to create some non-trivial graphics. ...
doi:10.5220/0005791202980305
dblp:conf/csedu/Karczmarczuk16
fatcat:2zbwvmudfzhipbgwtqmgufytuq
Database query languages and functional logic programming
2006
New generation computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Functional logic programming is a paradigm which integrates functional and logic programming. It is based on the use of rewriting rules for defining programs, and rewriting for goal solving. ...
To use functional logic programming as a database programming language, (1) we will propose a data model involving the main features adopted from functional logic programming (for instance, handling of ...
From the point of view of functional-logic programming, programmers in this paradigm can use a functional-logic language for programming databases. ...
doi:10.1007/bf03037296
fatcat:nrklsenccja7pajdh25aitveam
Nominal logic programming
2008
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We describe some typical nominal logic programs, and develop the model-theoretic, proof-theoretic, and operational semantics of such programs. ...
This article investigates logic programming based on nominal logic. ...
His support for me and this work has been unyielding. My other committee members, Robert Constable and Geri Gay, have also been very supportive. ...
doi:10.1145/1387673.1387675
fatcat:longqgnr75aktkwdy56eeyu4ne
Specialising the Ground Representation in the Logic Programming Language Gödel
[chapter]
1994
Logic Program Synthesis and Transformation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Meta-programs form a class of logic programs of major importance. In the past it has proved very difficult to provide a declarative semantics for meta-programs in languages such as Prolog. ...
The logic programming language Gödel is a declarative successor to Prolog. Gödel provides considerable support for meta-programming, in the form of a ground representation. ...
I would like to thank firstly my supervisor, John Lloyd, and also Tony Bowers, John Gallagher and André de Waal, for advice and stimulating discussions concerning the realisation and implementation of ...
doi:10.1007/978-1-4471-3234-9_12
fatcat:fb3ervvh3bbipaj4463a37d53u
Narrowing and resolution in logic-functional programming languages
[chapter]
1988
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
, along with their application to the design and implementation of the logic-functional programming language K-LEAF. ...
The lecture will deal with the rSle of narrowing and/or resolution in the framework of integration between logic and functional programming. ...
SO algorithms are derived, along with their application to the design and implementation of the logic-functional programming language K-LEAF. ...
doi:10.1007/3-540-50667-5_55
fatcat:rdrtonj5gjc4zkk4if3zjpndyu
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
2014
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Because LM integrates both classical and linear logic, LM tends to be more expressive than other logic programming languages. ...
AbstractWe have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. ...
Mellon Portugal Program and within projects SIBILA (NORTE-07-0124-FEDER-000059) and PEst (FCOMP-01-0124-FEDER-037281); and by the Qatar National Research Fund under grant NPRP 09-667-1-100. ...
doi:10.1017/s1471068414000167
fatcat:hvo7uyvqrbbdzpx25777pxrzyy
LPG: A generic, logic and functional programming language
[chapter]
1988
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
LPG is a programming language designed to implement and experiment new concepts in the field of specification languages. In LPG, programs are theories in Horn clause logic with equality [3] [4] . ...
Taking advantage of the instantiation mechanism of generic operators, the interpreter is a good tool for testing specifications, prototyping, and functional programming. - A logical evaluator (called " ...
Generic and logic programming: examples of evaluations of goals. Demonstration of the auxiliary tools (syntax-directed editor, etc.) ...
doi:10.1007/3-540-19027-9_26
fatcat:4d44vc7d5ffsbkb3u6up4g3fbi
The Family of Concurrent Logic Programming Languages
[chapter]
1991
Logic, Algebra, and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Introduction In surveying concurrent logic programming languages, this paper: * Introduces the computational models of logic programs, Prolog, and concurrent logic languages. a Discusses the different ...
Concurrent logic languages are logic programming languages that can specify reactive open systems, and thus can be used to implement concurrent systems and parallel algorithms. ...
doi:10.1007/978-3-642-76799-9_10
fatcat:rjyl5efexfgdnirsslmzgsgl3u
XPath-Logic and XPathLog: A Logic-Programming Style XML Data Manipulation Language
[article]
2003
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
XPath-Logic extends the XPath language with variable bindings and embeds it into first-order logic. ...
The model-theoretic semantics of XPath-Logic serves as the base of XPathLog as a logic-programming language, whereas also an equivalent answer-set semantics for evaluating XPathLog queries is given. ...
I want to thank my former colleagues during that time: Lule Ahmedi, Matthias Ihle, Georg Lausen, Pedro Marrón, Martin Weber, and Fang Wei. ...
arXiv:cs/0311038v1
fatcat:zt5rzi45gbexrnglgqafu5k5je
A language for updating logic programs and its implementation
1995
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper proposes an update language, called ULL, for knowledge systems based on logic programming. ...
The first allows the programmer to insert and delete rules, the second supports a form of hypothetical reasoning about updates, and the last introduces facilities in the language for the definition and ...
The authors gratefully acknowledge Geraldine Scalzo and Carlo Zaniolo for many fruitflfl discussions about update language applications and theory. ...
doi:10.1016/0743-1066(94)00025-2
fatcat:rhuekdv57rgdtjc3x24vaz25ue
Logic programming with functions and predicates: The language Babel
1992
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
as theories, computations as deductions, and the whole programming language as a logical one which embodies the logic of functions, relations, and equality. ...
D We investigate the experimental programming language BABEL, designed to achieve integration of functional programming (as embodied in HOPE, Standard ML, or MIRANDA) and logic programming (as embodied ...
doi:10.1016/0743-1066(92)90024-w
fatcat:ivmolddkd5hvfk3qp65sotbq2y
Real number computation with committed choice logic programming languages
2005
The Journal of Logic and Algebraic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
However, when we use a logic programming language with guarded clauses and committed choice, such as Concurrent Prolog, PARLOG, and GHC (Guarded Horn Clauses), we can express the behavior of IM2-machines ...
In this paper, we study how the behavior of an IM2-machine can be expressed in "real" programming languages. ...
Acknowledgements Many people suggested me the possibility of using logic programming languages for real number computation based on Gray-code. ...
doi:10.1016/j.jlap.2004.07.005
fatcat:wwh56bc5zje67f3ehkffhvkrze
« Previous
Showing results 1 — 15 out of 567,283 results