947 search results - page 45 / 190 » Declarative Programming in Prolog |
106
click to vote
TABLEAUX
1995
Springer
15 years 1 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
PSSS
2003
14 years 11 months ago
2003
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...
101
Voted
VMV
2003
14 years 11 months ago
2003
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
PEPM
2007
ACM
15 years 3 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
ICLP
1998
Springer
15 years 1 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...