367 search results - page 4 / 74 » Prolog |
SAC
2000
ACM
14 years 5 days ago
2000
ACM
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on finite domains. GNU-Prolog is based on a low-level mini-...
HOPL
1993
13 years 12 months ago
1993
The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural languages; in this case, French. The project gave r...
IJCAI
1989
13 years 9 months ago
1989
A new formalism for building network models in Prolog is proposed. It is based on a new semantic interpretation of the Prolog variables and clauses, which are used to represent th...
PADL
2000
Springer
13 years 11 months ago
2000
Springer
ICLP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...