#
Logic programming
Resource Information
The concept ** Logic programming** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Logic programming
Resource Information

The concept

**Logic programming**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Logic programming

- Authority link

## Context

Context of Logic programming#### Subject of

- A data-driven model for parallel interpretation of logic programms [sic]
- A tight, practical integration of relations and functions
- Advances in logic programming and automated reasoning
- An inductive logic programming approach to statistical relational learning
- An introduction to default logic
- Answer set programming for continuous domains : a fuzzy logic approach
- Arithmetic and logic in computer systems
- Artificial intelligence in simulation
- Computation as logic
- Computational logic : essays in honor of Alan Robinson
- Computational logic : logic programming and beyond
- Computing in Horn clause theories
- Computing with logic : logic programming with Prolog
- Conclog : a methodological approach to concurrent logic programming
- Constraint logic programming using ECLiPSe
- Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
- Cooperating heterogeneous systems
- Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz
- Diseño y construcción de algoritmos
- Essentials of logic programming
- Evolving knowledge bases : specification and semantics
- Foundations of deductive databases and logic programming
- Foundations of equational logic programming
- Foundations of inductive logic programming
- Foundations of logic programming
- From logic design to logic programming : theorem proving techniques and P-functions
- From logic to logic programming
- From modal logic to deductive databases : introducing a logic based approach to artificial intelligence
- From standard logic to logic programming : introducing a logic based approach to artificial intelligence
- Graph-based proof procedures for horn clauses
- Inductive logic programming
- Inductive logic programming : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers
- Inductive logic programming : from machine learning to software engineering
- Inductive logic programming : techniques and applications
- Interactive relational database design : a logic programming implementation
- Interactive theory revision : an inductive logic programming approach
- Introduction to logic programming
- Logic and logic grammars for language processing
- Logic and objects
- Logic grammars : with 40 illustrations
- Logic in computer science : modelling and reasoning about systems
- Logic programming : formal methods and practical applications
- Logic programming : new frontiers
- Logic programming : operational semantics and proof theory
- Logic programming : systematic program development
- Logic programming and databases
- Logic programming and its applications
- Logic programming and knowledge engineering
- Logic programming with Prolog
- Logic programming with Prolog
- Logic programming, functions, relations, and equations
- Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
- Logic with prolog
- Logic-based knowledge representation
- Logical and relational learning
- Meta-logics and logic programming
- Multiprocessor execution of logic programs
- Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers
- Parallel computers : object-oriented, functional, logic
- Parallel execution of logic programs
- Parallel logic programming
- Probabilistic inductive logic programming : theory and applications
- Program development in computational logic : a decade of research advances in logic-based program development
- Programming with constraints : an introduction
- Prolog : the standard : reference manual
- Prolog versus you : an introduction to logic programming
- Reasoning with logic programming
- Termination proofs for logic programs
- The Logic programming paradigm : a 25-year perspective
- The clausal theory of types
- The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution
- Types in logic programming
- Uncertainty treatment using paraconsistent logic : introducing paraconsistent artificial neural networks
- Why Prolog? : justifying logic programming for practical applications

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/Fnwnyj-bgNQ/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/Fnwnyj-bgNQ/">Logic programming</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Logic programming

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/Fnwnyj-bgNQ/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/Fnwnyj-bgNQ/">Logic programming</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`