Sciweavers

Share
META
1992
9 years 8 months ago
Logic Meta-Programming Facilities in 'LOG
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
Iliano Cervesato, Gianfranco Rossi
LOPSTR
1999
Springer
9 years 8 months ago
Annotations for Prolog - A Concept and Runtime Handling
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
Marija Kulas
PADL
2004
Springer
9 years 9 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
INAP
2005
Springer
9 years 9 months ago
Prolog Cafe : A Prolog to Java Translator System
We present the Prolog Cafe system that translates Prolog into Java via the WAM. Prolog Cafe provides multi-threaded Prolog engines. A Prolog Cafe thread seem to be conceptually an ...
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
ICLP
2005
Springer
9 years 9 months ago
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
Henning Christiansen, Verónica Dahl
PPDP
2009
Springer
9 years 10 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau

Book
604views
11 years 2 months ago
Prolog and Natural-Language Analysis
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
Fernando C. N. Pereira and Stuart M. Shieber
books