Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,448 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.
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
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
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
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
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
Highly Cited
1984
Highly Cited
1984
Micro-Prolog - programming in logic
K. Clark
,
F. McCabe
Prentice Hall international series in computer…
1984
Corpus ID: 35090849
This book gives introduction to the concepts of logic programming and PROLOG programming this book uses the version of PROLOG…
Expand
Highly Cited
1984
Highly Cited
1984
A Prolog Compiler for the PLM
P. V. Roy
1984
Corpus ID: 4001343
This report documents the design and implementation of a Prolog compiler for the Prolog Machine (PLM) under development at…
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