3562 search results - page 26 / 713 » Introduction to Logic Programming |
251
click to vote
Book
"First the bad news: TEX is a large and complicated program that goes to extraordinary
lengths to produce attractive typeset material. This very complication can cause unexpe...
155
click to vote
IPL
2006
15 years 5 months ago
2006
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
156
click to vote
OWLED
2007
15 years 7 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
132
click to vote
SLP
1990
15 years 7 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...