926 search results - page 43 / 186 » Prolog as the First Programming Language |
119
click to vote
JFLP
2002
15 years 2 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
168
click to vote
KR
1991
Springer
15 years 6 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
147
click to vote
JELIA
2010
Springer
15 years 11 days ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
134
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
A significant challenge in teaching programming to disadvantaged populations is preserving learners’ motivation and confidence. Because programming requires such a diverse set o...
128
click to vote
DALT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...