Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
  • M. Bramer
  • Springer London
  • 2005
  • Corpus ID: 30998147
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming… Expand
  • figure 3.1
  • figure 3.3
  • figure 3.4
  • figure 3.5
  • figure 3.6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
  • B. Blanchet
  • Proceedings. 14th IEEE Computer Security…
  • 2001
  • Corpus ID: 3163713
Abstract: We present a new automatic cryptographic protocol verifier based on a simple representation of the protocol by Prolog… Expand
  • figure 1
  • figure 2
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
ly, this program guesses nondeterministically the correct permutation via permutation(Xs,Ys), and ordered checks that the… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Part 1 Logic programs: basic constructs database programming recursive programming the computation model of logic programs theory… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
From the Publisher: B> This best-selling guide to Prolog has been fully revised and extended to provide an even greater range of… Expand
Is this relevant?
Highly Cited
1981
Highly Cited
1981
Since the first publication of ''Programming in Prolog'' in 1981, Prolog has continued to attract an unexpectedly great deal of… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
Is this relevant?