scholarly journals Models and equality for logical programming

2005 ◽  
pp. 1-22 ◽  
Author(s):  
Joseph A. Goguen ◽  
José Meseguer
Keyword(s):  
Logical Programming

An Analysis of Motion Transition in Subtle Errors using Inductive Logic Programming

2018 ◽  
Vol 10 (1) ◽  
pp. 27-37
Author(s):  
Niken Prasasti Martono ◽  
Keisuke Abe ◽  
Takehiko Yamaguchi ◽  
Hayato Ohwada
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Training Data ◽  
Classification Rule ◽  
Leap Motion ◽  
Induction Technique ◽  
Finger Motion ◽  
Logical Programming ◽  
The Difference

This article seeks to utilize the data collected from virtual reality (VR)-based software and a leap-motion device used for learning of subtle errors in mild cognitive impairment (MCI) cases to enable early detection of MCI by analyzing the classification rules for errors (action slips) based on finger-action transitions when performing instrumental activities of daily living (IADL). Finger motion was recorded as a time-series database. An induction technique known as Inductive-Logic Programming (ILP), which uses logical and clausal language to represent the training data, was then used to discover a concise classification rule using logical programming. The content within this article was able to generate rules on how action transitions of the finger in the experiments were related to the pattern of micro-errors that indicate the difference of error regarding the length of the no-motion state of the finger.

scholarly journals Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog

2021 ◽  
Vol 21 (2) ◽  
pp. 200-206
Author(s):  
D. V. Zdor
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Programming Language ◽  
Educational Process ◽  
Prolog Program ◽  
Logic Programming Language ◽  
Technological Basis ◽  
Program Testing ◽  
Logical Language ◽  
Logical Programming

Introduction. The organization of branches and repetitions in the context of logical programming is considered by an example of the Prolog language. The fundamental feature of the program in a logical programming language is the fact that a computer must solve a problem by reasoning like a human. Such a program contains a description of objects and relations between them in the language of mathematical logic. At the same time, the software implementation of branching and repetition remains a challenge in the absence of special operators for the indicated constructions in the logical language. The objectives of the study are to identify the most effective ways to solve problems using branching and repetition by means of the logic programming language Prolog, as well as to demonstrate the results obtained by examples of computational problems.  Materials and Methods. An analysis of the literature on the subject of the study was carried out. Methods of generalization and systematization of knowledge, of the program testing, and analysis of the program execution were used.  Results. Constructions of branching and repetition organization in a Prolog program are proposed. To organize repetitions, various options for completing a recursive cycle when solving problems are given.  Discussion and Conclusions. The methods of organizing branches and repetitions in the logic programming language Prolog are considered. All these methods are illustrated by examples of solving computational problems. The results obtained can be used in the further development of the recursive predicates in logical programming languages, as well as in the educational process when studying logical programming in the Prolog language. The examples of programs given in the paper provide using them as a technological basis for programming branches and repetitions in the logic programming language Prolog.

scholarly journals The Meaning of Logical Programs

1980 ◽  
Vol 9 (126) ◽  
Author(s):  
Brian H. Mayoh
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
Context Free Grammar ◽  
Logical Programming ◽  
Definition Of ◽  
Context Free

The semantics of a programming language are given by a function M from Programs to Meanings. In this paper we bring some uniformity into the definition of logical programming languages like LUCID and PROLOG by specifying M in Logic -> (Control -> Meanings). We describe how a context-free grammar can be assigned to each logical program and we identify Control with the language generated by the grammar. After this reduction there is no difference between the semantics of logical and conventional programming languages.

scholarly journals A Relevant SNC Application for Data Computation using Python Programming

2021 ◽  
Vol 10 (3) ◽  
pp. 231-235
Author(s):  
K Pooja ◽  
◽  
Dr Shailaja S ◽  
Keyword(s):  
Cloud Computing ◽  
Data Processing ◽  
Cloud Service ◽  
Cloud Services ◽  
Compilation Process ◽  
User Data ◽  
Logical Programming ◽  
User Tasks ◽  
Python Programming ◽  
Cloud Service Platform

Multiple applications of cloud servicing can be seen in the field of logical programming as well as IT industries. Complex computations over local machines may demand for plenty of system resources thereby delaying the data processing operations. In order to achieve speed in processing one must opt for cloud computing techniques. Extensive maneuver of cloud services is desirable for scientific computation of user data and application. This will require a platform designed in a way to meet the specific requirements of individual users, providing an ease for moving their data and applications over different devices. Symbolic-Numeric Computation using cloud service platform is presented in the paper. In this approach user tasks are presented in the form of symbolic expressions using languages like Java, C/C++, APIs etc. Proposed work employs Python programming for carrying out compilation process.

STRUCTURAL MODELING OF THE DATABASE AND KNOWLEDGE BASE ACTIVE ELEMENTS OF FLEXIBLE MANUFACTURING SYSTEMS

2020 ◽  
pp. 15-23
Author(s):  
Sh. R. Rahimov ◽  
A. H. Huseynov
Keyword(s):  
Knowledge Base ◽  
Manufacturing Systems ◽  
Main Part ◽  
Structural Modeling ◽  
Knowledge Bases ◽  
Production Model ◽  
Active Elements ◽  
Flexible Manufacture ◽  
Logical Programming ◽  
Source Of Information

In this paper, using the PROLOG language and logical programming methods, development of databases and knowledge bases for manipulating objects like active elements in a simulation representation is considered. The knowledge presented in the form of facts and rules which are the main part of the PROLOG language, simplifies the creation of a knowledge base in logical terms. A source of information selected in accordance with the professional interests of an user and converted into a logical form is the main part for solving its tasks. Logical programming methods allow building knowledge base for manipulating objects. Information objects are built on the basis of a common database and serve as a source of information selected in accordance with the professional interests of the user and converted into a form suitable for solving its tasks. The architecture of structural modeling of each active element that is part of flexible manufacture systems is proposed. The production model is presented in view of facts and rules in the PROLOG language and also the knowledge base on the PROLOG language is implemented to manipulate active elements in the complex, as flexible manufacture systems. As a result, databases and knowledge bases are obtained that ensure the dynamic behavior of an object owing to time. The advantage of structural modeling of the system is that knowledge about the modelling system is defined and the algorithm implemented on the computer finds a solution that matches this goal.

scholarly journals A New Modern Object-Oriented Programming Languages

2021 ◽  
pp. 683-685
Author(s):  
Prof. Shilpa Shitole ◽  
Rohit Maurya ◽  
Tanaya Pawar ◽  
Siya Randhe
Keyword(s):  
Open Source ◽  
Programming Languages ◽  
Programming Language ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Logical Programming ◽  
Ways Of Thinking ◽  
Way Of Thinking ◽  
Programming Paradigms ◽  
Oriented Programming Language

Industries evolve. Our thinking changes as well. Programming languages need evolvement too. “The thing is that ideas for new features with its ways of thinking will be flourished, and so perfectly designed those languages won’t be perfect anymore.” Where did logical programming go? “Notice that you can use this paradigm and just provide a set of constraints for a website and expect the website to develop automatically based on them.” It is possible to implement that. Likewise, new paradigms will sooner or later be born. It can’t be that we’ve explored everything. “Technologies are born likewise the old way of thinking, which represents by the previous programming languages might not be adequate. This project is an open-source modern object-oriented programming language that aims to bridge the gap between modern expressive programming paradigms like python and strictly typed rigid languages like Java and C#. Our goal is to provide the usefulness of an object-oriented programming language while holding the simplicity of an expressive programming language without having to sacrifice performance.

Sign in / Sign up

Export Citation Format

Share Document