Add to ORKGContains fulltext : 84486.pdf (publisher's version ) (Closed access)23 p
[Felty, JAR'93] Amy Felty. Implementing tactics and tacticals in a higher-order logic programmi...
Although Prolog is (still) the most widely used logic language, it suffers from a number of drawback...
AbstractA Prolog technology theorem prover (PTTP) is an extension of Prolog that is complete for the...
Abstract. We provide here a systematic comparative study of the relative strength and expressive pow...
Prolog was invented in the early seventies at the University of Marseille. Prolog stands for PROgram...
SIGLELD:7056.15(DOC--81/26). / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Contains fulltext : 84484.pdf (publisher's version ) (Open Access)3rd Internationa...
A Prolog technology theorem prover (PTTP) is an extension of Prolog that is complete for the full fi...
17th International Workshop on Logic-based methods in Programming Environments (WLPE'07
Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a d...
Contains fulltext : 147016.pdf (Publisher’s version ) (Open Access)XIII, 200 p
PROLOG is a programming language based on the use of mathematical logic—specifically the first order...
The paper presents an analyzer for verifying the correctness of a Prolog program relative to a speci...
The logic programming language PROLOG is introduced, with an overview of applications around the wor...
Contains fulltext : 84164.pdf (preprint version ) (Closed access) ...
[Felty, JAR'93] Amy Felty. Implementing tactics and tacticals in a higher-order logic programmi...
Although Prolog is (still) the most widely used logic language, it suffers from a number of drawback...
AbstractA Prolog technology theorem prover (PTTP) is an extension of Prolog that is complete for the...
Abstract. We provide here a systematic comparative study of the relative strength and expressive pow...
Prolog was invented in the early seventies at the University of Marseille. Prolog stands for PROgram...
SIGLELD:7056.15(DOC--81/26). / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Contains fulltext : 84484.pdf (publisher's version ) (Open Access)3rd Internationa...
A Prolog technology theorem prover (PTTP) is an extension of Prolog that is complete for the full fi...
17th International Workshop on Logic-based methods in Programming Environments (WLPE'07
Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a d...
Contains fulltext : 147016.pdf (Publisher’s version ) (Open Access)XIII, 200 p
PROLOG is a programming language based on the use of mathematical logic—specifically the first order...
The paper presents an analyzer for verifying the correctness of a Prolog program relative to a speci...
The logic programming language PROLOG is introduced, with an overview of applications around the wor...
Contains fulltext : 84164.pdf (preprint version ) (Closed access) ...
[Felty, JAR'93] Amy Felty. Implementing tactics and tacticals in a higher-order logic programmi...
Although Prolog is (still) the most widely used logic language, it suffers from a number of drawback...
AbstractA Prolog technology theorem prover (PTTP) is an extension of Prolog that is complete for the...