#
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
- (uri) http://id.loc.gov/authorities/subjects/sh86003454

## Context

Context of Logic programming#### Subject of

No resources found

No enriched resources found

- 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
- Arithmetic and logic in computer systems
- Artificial intelligence in simulation
- Computation as logic
- Computational logic : logic programming and beyond
- Constraint logic programming using ECLiPSe
- Cooperating heterogeneous systems
- Diseño y construcción de algoritmos
- Evolving knowledge bases : specification and semantics
- Foundations of equational logic programming
- Foundations of inductive logic programming
- Foundations of logic programming
- From standard logic to logic programming : introducing a logic based approach to artificial intelligence
- Handbook of logic in artificial intelligence and logic programming
- Inductive logic programming : from machine learning to software engineering
- Logic and objects
- Logic for applications
- Logic grammars : with 40 illustrations
- Logic in computer science : modelling and reasoning about systems
- Logic programming : new frontiers
- Logic programming : operational semantics and proof theory
- Logic programming and knowledge engineering
- Logic-based knowledge representation
- Logical methods : in honor of Anil Nerode's sixtieth birthday
- Mathematical aspects of logic programming semantics
- 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
- Reasoning with logic programming
- Termination proofs for logic programs
- The Logic programming paradigm : a 25-year perspective
- The clausal theory of types
- Types in logic programming
- Why Prolog? : justifying logic programming for practical applications

## Embed

### 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/hS18dcGViz4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/hS18dcGViz4/">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/hS18dcGViz4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/hS18dcGViz4/">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>`