The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Program obfuscation is an important software protection technique that prevents attackers from revealing the programming logic and design of the software. We introduce translingual obfuscation, a new software obfuscation scheme which makes programs obscure by "misusing" the unique features of certain programming languages. Translingual obfuscation translates part of a program from its original...
This paper presents our program in B-Prolog submitted to the third ASP solver competition for the Sokoban problem. This program, based on dynamic programming, treats Sokoban as a generalized shortest path problem. It divides a problem into independent sub problems and uses tabling to store sub problems and their answers. This program is very simple but quite efficient. Without use of any sophisticated...
Prolog is a declarative language that describes problems by facts and rules and solves problems by searching, matching and backtracking mechanism, which is particularly applied to symbol reasoning. This paper firstly introduces the main features and basic structure of Prolog and then presents the expression of three kind of control structure in structured programming language by interior predicate...
Since the 1980's, object oriented programming and structured programming have been required for increased software productivity. Under these circumstances, interest of studies for automatic program generation such as (Module Aided Programming system by Prolog) MAPP has been increased. The system uses specifications written in easily understood language, and data structures with customized target objects...
One of oldest and best-known methods used in constructive testing of smaller programs is the symbolic program execution. It is partly similar to method of simulation of computer function, but differs in aim. One of ways to prove whether given program is written correctly is to execute it symbolically. Aim of this paper is to test ramified program structure using single symbolic set of inputs, in one...
By posing a continual stream of pertinent questions, a nonmathematical computer program can prod freshman physics students toward an analytical solution to one-dimensional kinematics problems.
BBS provides users with a space of free communication and plentiful information resources. However, to gain manually useful information from constantly updated, huge and unstructured data is very difficult for users. This paper applies Prolog to BBS data mining, and builds a housing information mining system based on Prolog, which extracts structured house leasing information from the large number...
The rule in rule-based system can be divided into two categories: inference rule and knowledge expressed by ldquoif..., then...rdquo Therefore, rule-based system can be divided into inference rule system and hypothetical inference system. In inference rule system, the general law is regarded as the inference rule, used to infer the unknown facts or theorems from the known ones. This inference system...
This paper discusses an implementation of a declarative style of programming for sensor-based applications, involving the acquisition and aggregation of context. We describe an implementation of LogicCAP integrating Prolog with the ContextToolkit, and its on-going extensions, considering applications in the mobile environment, distributed evaluation, and dynamic sensor binding issues. We also propose...
The size of unified modeling language (UML) models used in practice is very large and ranges up to hundreds and thousands of classes. Querying of these models is used to support their quality assessment by information filtering and aggregating. For both, human cognition and automated analysis, there is a need for fast querying. In this context performance of model queries becomes an important issue...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.