926 search results - page 16 / 186 » Prolog as the First Programming Language |
LICS
1989
IEEE
13 years 12 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
CP
2004
Springer
14 years 1 months ago
2004
Springer
ECOOPW
1998
Springer
14 years 22 days ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
ICLP
1999
Springer
14 years 23 days ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...