4370 search results - page 80 / 874 » Algebra of Logic Programming |
FUIN
2007
13 years 10 months ago
2007
ICECCS
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
FECS
2007
13 years 11 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
ACMMPC
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
ICLP
2001
Springer
14 years 2 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...