Posts Tagged ‘Prolog’:

Animating the Linking of BPEL Semantics

As SOA (Service-Oriented Architecture) is wide applied in industry field in recent years, web services and other web-based applications have attracted much attention. BPEL (Business Process Execution Language), as one of the most important web-based business process languages, have been becoming more and more important. In order to correctly develop service-oriented information system, the precise

(Read More…)

Mechanical Approach to the Semantics of PTSC

With the development of computer technology, the computer systems have become more and more complex, bring difficulties in the formal description of these systems. These complex systems typically involve features like time, concurrency and probability. The probabilistic timed shared-variable language, which is proposed by Prof. Huibiao Zhu, integrates features of probability and time with shared-variable

(Read More…)

The Research and Implementation of Prolog Data Persistence Based on File System

In the development of information systems, the ability to handle massive data is one of the basic requirements where the basic way is data persistence.Prolog is nowadays one of the most influential artificial intelligence languages, which is very suitable for expression of human thought and reasoning rules and has been widely used in the natural

(Read More…)

The Exploration into Artificial Intelligence Education Based on Prolog in High School

With the rapid development of artificial intelligence and the deepening of its application, the artificial intelligence education begins to attract people’s attraction. The General High School Curriculum Standard in Technology’s Area published by ministry of education in 2003 sets up an elective module of artificial intelligence, including three subjects, like “knowledge and its expression”, “reasoning

(Read More…)

A Research of UML Formal Verification Based on Situation Calculus and OCL Constraints Automatic Generation

From the point of view of the software life cycle in Software Engineering, software architecture is the core of the structure and behavior of software. Thus software architecture design is bound to be the core of the software design, and the basis for the subsequent code development as well. The significance of software architecture design

(Read More…)

Constraint Based Prolog Semantics and Its Applications in the Testing, Analysis and Verification of Prolog Programs

Logic programming (LP) is an important programming paradigm that has multiple applications in the areas of artificial intelligence. LP languages, of which Prolog is a representative, feature the separation of the description of a problem and the way to solve the problem. One of the focuses in the research of LP is on how to

(Read More…)

© IT Research Paper