Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,231,929 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
Abductive Logic Programming with CIFF: Implementation and Applications
U. Endriss
,
P. Mancarella
,
F. Sadri
,
G. Terrreni
,
Francesca Toni
2004
Corpus ID: 9625029
We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and…
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
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
E. Börger
,
Igor Durdanovic
,
D. Rosenzweig
Programming Concepts and Methods
1994
Corpus ID: 2952714
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…
Expand
Review
1994
Review
1994
A sharable ontology for the formal representation of engineering-design knowledge
L. K. Alberts
Formal Design Methods for CAD
1994
Corpus ID: 6525485
Attribute models of design objects p. 33 Formal representation of meaning in architecture p. 45 Discussion: What is a formal…
Expand
Review
1992
Review
1992
Dynamic Memory Management for Sequential Logic Programming Languages
Y. Bekkers
,
O. Ridoux
,
Lucien Ungaro
IWMM
1992
Corpus ID: 2509228
Logic programming languages are becoming more complex with the introduction of new features such as constraints or terms with an…
Expand
1991
1991
The Next Generation of Information Systems: From Data to Knowledge
M. Papazoglou
,
John Zeleznikow
Lecture Notes in Computer Science
1991
Corpus ID: 1935141
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
1983
1983
The Denotational Semantics of Horn Clauses as a Production System
J. Lassez
,
Michael J. Maher
AAAI Conference on Artificial Intelligence
1983
Corpus ID: 10879888
We show how one of Nilsson's tenets on rule-based production systems, when applied to Horn clause programs, leads to a…
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