Sciweavers

1776 search results - page 15 / 356
» Using a Logic Programming Language with Persistence and Cont...
Sort
View
TOOLS
1997
IEEE
13 years 11 months ago
Dynamically Extensible Objects in a Class-Based Language
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...
R. W. Schmidt
ICFP
2004
ACM
14 years 7 months ago
Implementing functional logic languages using multiple threads and stores
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
Andrew P. Tolmach, Sergio Antoy, Marius Nita
CORR
2010
Springer
136views Education» more  CORR 2010»
13 years 7 months ago
On the Implementation of the Probabilistic Logic Programming Language ProbLog
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
Angelika Kimmig, Bart Demoen, Luc De Raedt, V&iacu...
DLS
2005
122views Languages» more  DLS 2005»
13 years 9 months ago
Language constructs for context-oriented programming: an overview of ContextL
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
Pascal Costanza, Robert Hirschfeld
ENTCS
2000
109views more  ENTCS 2000»
13 years 7 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff