Parallelism is a study area that grows up each day, caused by the cost reduction and popularizing of machines with parallels architecture. In this context, the logical languages, especially PROLOG, show a feasible and ...

This research focuses on the difficulties faced by learners of languages based on logic programming paradigm, turning specifically to the Prolog language learning. From an introduction to Prolog are discussed concepts like ...

This paper describes theoretical as well as implementation issues involved in the design of amix partial evaluator, starting from an interpretive specification using Prolog as the source language. First, the general theory ...

Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications' ...

Once a big repository of static data, the Web has been gradually evolved into a worldwide network of information and services known as the Semantic Web. This environment allows programs to autonomously interact with ...

Operational system can be defined as the set of one or more programs that provides a package of services, which creates an interface between applications and computer hardware, which allocates and manages shared resources ...