Result 1 to 20 of 287 total
A simple correctness proof for magic transformation. (English)
Theory Pract. Log. Program. 12, No. 6, 929-936 (2012).
1
Coding guidelines for prolog. (English)
Theory Pract. Log. Program. 12, No. 6, 889-927 (2012).
2
Contextual hypotheses and semantics of logic programs. (English)
Theory Pract. Log. Program. 12, No. 6, 843-887 (2012).
3
Reducing fuzzy answer set programming to model finding in fuzzy logics. (English)
Theory Pract. Log. Program. 12, No. 6, 811-842 (2012).
4
Representing first-order causal theories by logic programs. (English)
Theory Pract. Log. Program. 12, No. 3, 383-412 (2012).
5
A design and implementation of the extended Andorra model. (English)
Theory Pract. Log. Program. 12, No. 3, 319-360 (2012).
6
Certificate size reduction in abstraction-carrying code. (English)
Theory Pract. Log. Program. 12, No. 3, 283-318 (2012).
7
On the implementation of GNU Prolog. (English)
Theory Pract. Log. Program. 12, No. 1-2, 253-282 (2012).
8
An overview of Ciao and its design philosophy. (English)
Theory Pract. Log. Program. 12, No. 1-2, 219-252 (2012).
9
The language features and architecture of B-Prolog. (English)
Theory Pract. Log. Program. 12, No. 1-2, 189-218 (2012).
10
XSB: extending Prolog with tabled logic programming. (English)
Theory Pract. Log. Program. 12, No. 1-2, 157-187 (2012).
11
$\text{ECL}^{\text{i}}\text{PS}^{\text{e}}$ ‒ from LP to CLP. (English)
Theory Pract. Log. Program. 12, No. 1-2, 127-156 (2012).
12
The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines. (English)
Theory Pract. Log. Program. 12, No. 1-2, 97-126 (2012).
13
SWI-Prolog. (English)
Theory Pract. Log. Program. 12, No. 1-2, 67-96 (2012).
14
SICStus Prolog ‒ the first 25 years. (English)
Theory Pract. Log. Program. 12, No. 1-2, 35-66 (2012).
15
The YAP prolog system. (English)
Theory Pract. Log. Program. 12, No. 1-2, 5-34 (2012).
16
On elementary loops of logic programs. (English)
Theory Pract. Log. Program. 11, No. 6, 953-988 (2011).
17
Active integrity constraints and revision programming. (English)
Theory Pract. Log. Program. 11, No. 6, 905-952 (2011).
18
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. (English)
Theory Pract. Log. Program. 11, No. 6, 881-904 (2011).
19
Concurrent goal-based execution of constraint handling rules. (English)
Theory Pract. Log. Program. 11, No. 6, 841-879 (2011).
20
Result 1 to 20 of 287 total
Start
Contact
Print
General Help
