Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,731,578 papers from all fields of science
Search
Sign In
Create Free Account
Prolog++
Prolog++ is an object-oriented toolkit for the Prolog logic programming language. It allows classes and class hierarchies to be created within Prolog…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Logic programming
Logtalk
MS-DOS
Prolog
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
MULTIPLE REPRESENTATIONS AND KNOWLEDGE-BASED GENERALIZATION OF TOPOGRAPHICAL DATA
Tiina KilpeHiinen
2010
Corpus ID: 15885034
One of the stumbling blocks to the utilization of fully automated geographical information systems is the lack of consistent well…
Expand
2008
2008
Bilingual Chinese-English Language Dictionary Database
J. Webster
,
Chunyan Ning
2008
Corpus ID: 10598551
The application described in this paper is intended to facilitate web access to lexical information for Chinese and English. A…
Expand
2007
2007
Logical Foundations for DeclarativeObject-oriented Programming ?
C. Kreitz
,
K. Lau
,
Mario Ornaghi
2007
Corpus ID: 13401832
We present a formalism for reasoning about declarative object-oriented programs. Classes are represented as rst-order theories…
Expand
1994
1994
Conceptual Structures Current Practices : Second International Conference on Conceptual Structures, Iccs '94, College Park, Maryland, Usa, August 16-20, 1994 : Proceedings'
W. Tepfenhart
,
Judith P. Dick
,
J. Sowa
1994
Corpus ID: 60803850
Aristotelian and platonic views of knowledge representation.- Conceptual graphs - Past, present, and future.- Pragmatic semantics…
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