Skip to search formSkip to main contentSkip to account menu

Prolog

Known as: Prolog language, PROLOG programming language, Prolog II 
Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract machineAllegroGraphAntônio Luz FurtadoApache Hadoop

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Design and results of the Fifth Answer Set Programming Competition
Highly Cited
2007
Highly Cited
2007
ProbLog: A Probabilistic Prolog and its Application in Link Discovery
A general framework for minimisation-based belief change is presented. A problem instance is made up of an undirected graph… 
Highly Cited
2004
Highly Cited
2004
The CN2 induction algorithm
Systems for inducing concept descriptions from examples are valuable tools for assisting in the task of knowledge acquisition for… 
Highly Cited
2000
Highly Cited
2000
Specification and proof in membership equational logic
Review
1992
Review
1992
Model based processing of signals: a state space approach
This paper is a tutorial on linear, state space, model-based methods for certain nonlinear estimation problems commonly… 
Highly Cited
1990
Highly Cited
1990
Solving Large Combinatorial Problems in Logic Programming
Highly Cited
1988
Highly Cited
1988
Distributed cooperation with action systems
Action systems provide a method to program distributed systems that emphasizes the overall behavior of the system. System… 
Highly Cited
1986
Highly Cited
1986
On Knowledge Base Management Systems
This position statement examines briefly the purpose, nature and impact of Knowledge Base Management Systems and outlines a… 
Highly Cited
1984
Highly Cited
1984
VERIFY: A Program for Proving Correctness of Digital Hardware Designs
Highly Cited
1984
Highly Cited
1984
Computer recognition and extraction of form features: A CAD/CAM link
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)