Skip to search formSkip to main contentSkip to account menu

Logic programming

Known as: Relational programming, Logic programming language, Logical (programming) 
Logic programming is a programming paradigm based on formal logic. A program written in a logic programming language is a set of sentences in logical… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abductive logic programmingAbductive reasoningActor modelAlma-0

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
A Comparative Study of Energy Management Schemes for a Fuel-Cell Hybrid Emergency Power System of More-Electric Aircraft
This paper presents a comparative analysis of different energy management schemes for a fuel-cell-based emergency power system of… 
Highly Cited
2012
Highly Cited
2012
The philosophy of logic
what exactly are these logical This essay is the text of a retiring presidential address to the Association for Symbolic Logic… 
Highly Cited
2010
Highly Cited
2010
Upgrading logic programming in hopfield network
The convergence property for doing logic programming in Hopfield network can be accelerated by using new relaxation method. This… 
Highly Cited
2004
Highly Cited
2004
The Alignment Template Approach to Statistical Machine Translation
A phrase-based statistical machine translation approach the alignment template approach is described. This translation approach… 
Highly Cited
1998
Highly Cited
1998
Analysis of Imperative Programs through Analysis of Constraint Logic Programs
In this paper a method is proposed for carrying out analysis of imperative programs. We achieve this by writing down the language… 
Review
1998
Review
1998
Supporting Scenario-Based Requirements Engineering
Scenarios have been advocated as a means of improving requirements engineering yet few methods or tools exist to support scenario… 
Highly Cited
1994
Highly Cited
1994
Splitting a Logic Program
In many cases a logic program can be divided into two parts so that one of them the bottom part does not refer to the predicates… 
Review
1993
Review
1993
Book Reviews: The Logic of Typed Feature Structures
For those of us who belonged to the "Bay Area (Computational) Linguistics Community," the early eighties were a heady time. Local… 
Highly Cited
1990
Highly Cited
1990
Logic Programming and Databases
This book deals with the integration of logic programming and databases to generate new types of systems, which extend the… 
Review
1986
Review
1986
PARLOG: parallel programming in logic
PARLOG is a logic programming language in the sense that nearly every definition and query can be read as a sentence of predicate… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)