Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,382,933 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
A Methodology to Create Legal Ontologies in a Logic Programming Based Web Information Retrieval System
José Saias
,
P. Quaresma
Artificial Intelligence and Law
2004
Corpus ID: 24013228
Web legal information retrieval systems need the capability to reason with the knowledge modeled by legal ontologies. Using this…
Expand
Highly Cited
2002
Highly Cited
2002
Correlation in an intrusion detection process
F. Cuppens
,
F. Autrel
,
A. Miège
,
S. Benferhat
2002
Corpus ID: 1000009
Generally, the intruder must perform several actions, organized in an intrusion scenario, to achieve his or her malicious…
Expand
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
A. Frank
,
W. Kuhn
International Multi-Conference on Systems…
1995
Corpus ID: 14298570
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of…
Expand
Review
1989
Review
1989
Knowledge Programming in Loops: Report on an Experimental Course
M. Stefik
,
D. Bobrow
,
S. Mittal
,
L. Conway
The AI Magazine
1989
Corpus ID: 2712977
Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops During the course, they…
Expand
Highly Cited
1989
Highly Cited
1989
Harmonic Interactions in Thyristor Controlled Reactor Circuits
L. Bohmann
,
R. Lasseter
IEEE Power Engineering Review
1989
Corpus ID: 27393149
Harmonics that arise from the interaction of thyristor-controlled reactors (TCRs) and power systems are difficult to analyze. Two…
Expand
Highly Cited
1989
Highly Cited
1989
How to recognize interesting topics to provide cooperative answering
F. Cuppens
,
R. Demolombe
Information Systems
1989
Corpus ID: 34414199
Highly Cited
1989
Highly Cited
1989
Performance monitoring in expert control systems
R. Doraiswami
,
J. Jiang
at - Automatisierungstechnik
1989
Corpus ID: 26214209
Highly Cited
1987
Highly Cited
1987
Expert System for Inspection Planning
H. Elmaraghy
,
P. Gu
,
J. Bollinger
1987
Corpus ID: 62582405
Highly Cited
1982
Highly Cited
1982
Using Slots and Modifiers in Logic Grammars for Natural Language
M. McCord
Artificial Intelligence
1982
Corpus ID: 5165290
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)
ACCEPT & CONTINUE