567,283 Hits in 3.8 sec

Logic and programming languages

Dana S. Scott
1977 Communications of the ACM  
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]

Natasha Alechina
2013 Lecture Notes in Computer Science  
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

Veronica Dahl
1994 The Journal of Logic Programming  
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

Jerzy Karczmarczuk
2016 Proceedings of the 8th International Conference on Computer Supported Education  
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

Jesús M. Almendros-Jiménez, Antonio Becerra-Terón
2006 New generation computing  
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

James Cheney, Christian Urban
2008 ACM Transactions on Programming Languages and Systems  
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]

C. A. Gurr
1994 Logic Program Synthesis and Transformation  
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]

Elio Giovannetti
1988 Lecture Notes in Computer Science  
, 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  
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]

D. Bert, P. Drabik, R. Echahed, O. Declerfayt, B. Demeuse, P -Y. Schobbens, F. Wautier
1988 Lecture Notes in Computer Science  
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]

Ehud Shapiro
1991 Logic, Algebra, and Computation  
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]

Wolfgang May
2003 arXiv   pre-print
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

Nicola Leone, Luigi Palopoli, Massimo Romeo
1995 The Journal of Logic Programming  
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

Juan Jose Moreno-Navarro, Mario Rodriguez-Artalejo
1992 The Journal of Logic Programming  
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

Hideki Tsuiki
2005 The Journal of Logic and Algebraic Programming  
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