2236 search results - page 26 / 448 » Language Independence and Language Tolerance in Logic Progra... |
149
click to vote
ICFP
1997
ACM
15 years 9 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
150
Voted
TACS
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
176
click to vote
DEXAW
2003
IEEE
15 years 10 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...