Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,130,193 papers from all fields of science
Search
Sign In
Create Free Account
Prolog
Known as:
Prolog language
, PROLOG programming language
, Prolog II
Expand
Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract machine
AllegroGraph
Antônio Luz Furtado
Apache Hadoop
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Selecting appropriate counter-measures in an intrusion detection framework
F. Cuppens
,
Sylvain Gombault
,
Thierry Sans
Proceedings. 17th IEEE Computer Security…
2004
Corpus ID: 15350381
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but…
Expand
1999
1999
Intelligent Agents Generating Personal Newspapers
D. Cordero
,
P. Roldán
,
S. Schiafino
,
A. Amandi
International Conference on Enterprise…
1999
Corpus ID: 5286074
NewsAgent is an intelligent type of agent that has the capability of generating personal newspapers from particular user…
Expand
1996
1996
Imposing The Law of Demeter and Its Variations
N. Minsky
1996
Corpus ID: 11144460
The Law of Demeter [4] is accepted as a useful design principle that promotes tightly encapsulated classes and reduced coupling…
Expand
1988
1988
From English to Prolog via Discourse Representation Theory
M. Covington
,
D. Nute
,
N. Schmitz
,
David Goodman
1988
Corpus ID: 26228846
This is a preliminary report on a set of techniques for translating the discourse representation structures (DRSes) of Kamp (1981…
Expand
1987
1987
Parallel Parsing for Unification Grammars
A. Haas
International Joint Conference on Artificial…
1987
Corpus ID: 14872542
The parsing problem for arbitrary unification grammars is unsolvable We present a class of unification grammars for whcih the…
Expand
1987
1987
Studies in Prolog architectures
E. Tick
1987
Corpus ID: 59849294
This dissertation addresses the problem of how logic programs can be made to execute at high speeds. Prolog, chosen as a…
Expand
1986
1986
Formulation of Induction Formulas in Verification of Prolog Programs
T. Kanamori
,
H. Fujita
CADE
1986
Corpus ID: 805331
How induction formulas are formulated in verification of Prolog programs is described. The same problem for well-founded…
Expand
1985
1985
Concurrent Prolog as an Efficient VLSI Design Language
Suzuki
Computer
1985
Corpus ID: 18749982
As long as simulation is relied upon, the hardware will only be as good as the test data; therefore most widely used computers…
Expand
Review
1984
Review
1984
Logic Programming Using Parallel Associative Operations
Stephen Taylor
,
Andy Lowry
,
Gerald Q. Maguire
,
S. Stolfo
International Conference on Spoken Language…
1984
Corpus ID: 21783270
In order to provide performance improvements in the execution of large logic programs, it is highly desirable to investigate the…
Expand
1980
1980
Knowledge Embedding in the Description System Omega
C. Hewitt
,
Giuseppe Attardi
,
M. Simi
AAAI Conference on Artificial Intelligence
1980
Corpus ID: 23104595
Omega is a description system for knowledge embedding which combines mechanisms of the predicate calculus, type systems, and…
Expand