926 search results - page 8 / 186 » Prolog as the First Programming Language |
92
Voted
PADL
2000
Springer
15 years 6 months ago
2000
Springer
108
Voted
POPL
2000
ACM
15 years 6 months ago
2000
ACM
140
Voted
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
89
Voted
IWMM
2000
Springer
15 years 6 months ago
2000
Springer
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...
119
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...