Prototyping combination of unification algorithms with the ELAN rule-based programming language

1997 ◽  
pp. 323-326 ◽  
Author(s):  
Christophe Ringeissen
Keyword(s):  
Programming Language ◽  
Rule Based ◽  
Unification Algorithms

Adding Prolog Rules and OOPs Inheritance to Legacy Databases

1991 ◽  
Author(s):  
Art Goldschmidt ◽  
Dipayan Gangopadhyay
Keyword(s):  
Logic Programming ◽  
Programming Language ◽  
Object Oriented ◽  
Database System ◽  
Storage Management ◽  
Complex Objects ◽  
Rule Based ◽  
System Product ◽  
Viable Approach ◽  
Trigger Mechanisms

Abstract We present a viable approach to add rules capability or object orientation to legacy databases. Using a combination of language compilation, run-time trigger mechanisms and inter-language call facility, we integrate an object-oriented logic programming language, called OOLP, with an existing CIM Database System Product, IBM’s CIM CDF. The result is a system that provides storage management of complex objects, rule-based validation, object oriented knowledge modelling and declarative query capability.

scholarly journals Modeling and Programming by Commitment Rules in Agent Factory

2010 ◽  
pp. 393-421 ◽  
Author(s):  
Rem Collier ◽  
Gregory M.P. O’Hare
Keyword(s):  
Mobile Computing ◽  
Programming Language ◽  
Mixed Reality ◽  
Software Systems ◽  
Future Trends ◽  
General Introduction ◽  
Rule Based ◽  
Agent Programming ◽  
Wide Range ◽  
Agent Factory

Agent-Oriented Programming (AOP) is a relatively new programming paradigm, proposed by Yoav Shoham, which views software systems as consisting of a set of agents that interact with one another to solve problems beyond their individual capabilities. Since the inception of the paradigm, a number of AOP languages have been proposed. This chapter focuses on one such language, the Agent Factory Agent Programming Language (AFAPL), a practical rule-based language that has been applied to a wide range of problem domains including robotics, virtual and mixed reality environments, and mobile computing. AFAPL is placed in context through a general introduction to the state-of-the-art in AOP. The chapter finishes with a discussion of some future trends for AOP and some concluding remarks.

scholarly journals The use of types in designing unification algorithms: two case studies

10.29007/lbk5 ◽  
2018 ◽  
Author(s):  
Serdar Erbatur ◽  
Santiago Escobar ◽  
Paliath Narendran
Keyword(s):  
Case Studies ◽  
Type System ◽  
Equational Theory ◽  
Type Systems ◽  
Strict Sense ◽  
Signature Schemes ◽  
Rule Based ◽  
Unification Algorithms

We discuss the use of type systems in a non-strict sensewhen designing unification algorithms. We first give anew (rule-based) algorithm for an equational theory which representsa property of El-Gamal signature schemes and show howa type system can be used to prove termination of the algorithm.Lastly, we reproduce termination result for theory of partialexponentiation given earlier.

Programming Language for Severely Retarded Children

1978 ◽  
Vol 9 (4) ◽  
pp. 213-219
Author(s):  
Carol McCall Davis
Keyword(s):  
Programming Language ◽  
Mentally Retarded ◽  
Mentally Retarded Children

This article describes methods of language programming for profoundly mentally retarded children that are based on linguistic principles. Examples of program contents are drawn from research reports and include cuing procedures, as well as progress from receptive through imitative behaviors, labeling responses, and grammatical sequencing.

Sign in / Sign up

Export Citation Format

Share Document