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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2001
Highly Cited
2001
We present a new automatic cryptographic protocol verifier based on a simple representation of the protocol by Prolog rules, and… (More)
  • figure 1
  • figure 2
  • figure 5
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… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Shared Prolog is a new concurrent logic language. A Shared Prolog system is composed of a set of parallel agents that are Prolog… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The &-Prolog system, a practical implementation of a parallel execution model for Prolog exploiting strict and non-strict… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Satchmo is a theorem prover consisting of just a few short and simple Prolog programs. Prolog may be used for representing… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Will reading habit influence your life? Many say yes. Reading the art of prolog advanced programming techniques is a good habit… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
This paper puts forward the suggestion that many PROLOG programs are not radically different in kind from programs written in… (More)
Is this relevant?
Highly Cited
1984
Highly Cited
1984
We describe a polymorphic type scheme for Prolog which makes static type checking possible. Polymorphism gives a good degree of… (More)
Is this relevant?
Highly Cited
1984
Highly Cited
1984
D This paper introduces extended programs and extended goals for logic programming. A clause in an extended program can have an… (More)
Is this relevant?
Highly Cited
1981
Highly Cited
1981
problem solving understanding natural language 
Is this relevant?