Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,168,067 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
2001
2001
Aspect-Oriented Programming using a Logic Meta Programming Language to express cross-cutting through a dynamic joinpoint structure.
K. Gybels
2001
Corpus ID: 61824719
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
1992
1992
A logical model of competence and performance in the human sentence processor
M. Crocker
1992
Corpus ID: 5559488
This work is concerned with the way in which principled theories of syntax and modular theories of mind may participate in 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
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
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
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