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

The Resource
Programmation logique
Resource Information

The concept

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

## Context

Context of Programmation logique#### Subject of

No resources found

No enriched resources found

- A resolution principle for a logic with restricted quantifiers
- A tight, practical integration of relations and functions
- An introduction to default 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 : selected research
- Constraint satisfaction in logic programming
- Foundations of deductive databases and logic programming
- Foundations of inductive 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
- Handbook of logic in artificial intelligence and logic programming
- Inductive logic programming
- Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings
- Interactive relational database design : a logic programming implementation
- Logic for applications
- Logic for computer scientists
- Logic grammars : with 40 illustrations
- Logic programming : formal methods and practical applications
- Logic programming : operational semantics and proof theory
- Logic programming, functions, relations, and equations
- Logic-based knowledge representation
- Logical methods : in honor of Anil Nerode's sixtieth birthday
- Meta-programming in logic programming
- 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 logic programming
- Parallel logic programming techniques
- Programming with constraints : an introduction
- 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 logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution
- Warren's abstract machine : a tutorial reconstruction

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

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