Implementation of Prolog Database System
スポンサーリンク
概要
- 論文の詳細を見る
A predicate logic programming language system that can be used both as a problem-solver and as a relational database system is implemented on NEC PC-980lF MS/DOS system in C. With this system, the relational database system functions are built in the Prolog language system. Therefore relational database query statements can be simply embedded in the Prolog program in the first order predicate logic formula. Interpreter approach, backtracking and unification are operated on IDB (Intensional DataBase) goals. While set operations are applied on EDB (Extensional DataBase) goals and system output predicates. Thus variables may be bound by a single term or a set of terms. At each node of a proof tree, the binding environments are placed on the variable stack for single terms and on the table stack for sets. The table stack contains some temporary binding tables in which each column represents a set of terms for a bound variable. The binding tables are generated at each EDB goal call and registered in the database dictionary. Once backtracking occurs the table stack is popped and the binding tables are dropped from the database dictionary. The variable stack resides in main memory while the table stack resides in secondary memory. In executing a goal statement the search is based on a simple left-to-right and depth-first strategy.
- 一般社団法人情報処理学会の論文
- 1987-09-30
著者
-
KANEDA Yukio
Department of Applied Physics,Faculty of Engineering,Nagoya University
-
Kaneda Y
Department Of Systems Engineering Faculty Of Engineering Kobe University
-
Kuo Shu-min
Division Of System Science Graduate School Of Science And Technology Kobe University
-
MAEKAWA SADAO
Department of Systems Engineering, Faculty of Engineering, Kobe University
-
Maekawa Sadao
Department Of Systems Engineering Faculty Of Engineering Kobe University
-
Kaneda Yukio
Department Of Applied Physics Faculty Of Engineering Nagoya University
関連論文
- The Hydrodynamic Interaction of Two Spheres in a Viscous Fluid at Small Non-Zero Reynolds Number : Axisymmetric Case
- Statistics of Energy Transfer in High-Resolution Direct Numerical Simulation of Turbulence in a Periodic Box(Electromagnetism, Optics, Acoustics, Heat Transfer, Classical Mechanics and Fluid Mechanics)
- Energy Spectrum in the Near Dissipation Range of High Resolution Direct Numerical Simulation of Turbulence(Electromagnetism, Optics, Acoustics, Heat Transfer, Classical Mechanics and Fluid Mechanics)
- Spectra of Energy Dissipation, Enstrophy and Pressure by High-Resolution Direct Numerical Simulations of Turbulence in a Periodic Box (Electromagnetism, Optics, Acoustics, Heat Transfer, Classical Mechanics and Fluid Mechanics)
- Intermittency of Energy Dissipation in High-Resolution Direct Numerical Simulation of Turbulence(Electromagnetism, optics, acoustics, heat transfer, classical mechanics, and fluid mechanics)
- Effects of Wavenumber Truncation on High-Resolution Direct Numerical Simulation of Turbulence
- Two-Dimensional Effects on Measurement of Thermal Diffusivity by AC Calorimetric Method : I. Conditions for Precise Measurement
- Taylor Expansions and Pade Approximations of Lagrangian and Eulerian Two-Time Velocity Correlaitons in Turbulence
- Examination of Kolmogorov's 4/5 Law by High-Resolution Direct Numerical Simulation Data of Turbulence(Electromagnetism, optics, acoustics, heat transfer, classical mechanics, and fluid mechanics)
- Implementation of Prolog Database System
- Dynamics of Inviscid Truncated Model of Rotating Turbulence
- Perturbational Approach to the Dynamics of Homogeneous Turbulence
- Lagrangian renormalized approximation of turbulence
- Single-Particle Diffusion in Strongly Stratified and/or Rapidly Rotating Turbulence : Classical Phenomenology and Applications
- Nonlinear Langevin Equation of a Brownian Particle Based on Fluctuating Hydrodynamics
- Numerical Integration of the Lagrangian Renormalized Approximation
- Frequency Shifts of Rossby Waves in Geostrophic Turbulence
- The -5/3 Power Law in Fully Developed Turbulence as a Consequence of the Navier-Stokes Equations
- The Effect of Interaction of Rodlike Particles in Semi-Dilute Suspensions under Shear Flow
- Time Micro Scales of Lagrangian Strain Tensor in Turbulence
- Spontaneous Singularity Formation in the Shape of Vortex Sheet in Three-Dimensional Flow
- Stretching and Distortion of Material Line Elements in Two-Dimensional Turbulence