Design and implementation of the DRKB prolog interpreter

Design and implementation of the DRKB prolog interpreter

碩士 === 國立臺灣科技大學 === 工程技術研究所 === 78 ===

Bibliographic Details
Main Author:	郭經權
Other Authors:	SHI, YAN-XIANG
Format:	Others
Language:	zh-TW
Published:	1990
Online Access:	http://ndltd.ncl.edu.tw/handle/23153329537831525778

Similar Items

Towards putting abstract interpretation of Prolog into practice : design, implementation and evaluation of a tool to verify and optimise Prolog programs
by: Gobert, François
Published: (2007)

The design of a distributed interpreter for concurrent Prolog
by: Tam, Chun Man
Published: (2010)

Design and implementation of an integrated system of PROLOG and RDBMS
by: YANG, FENG-BIN, et al.
Published: (1987)

The design and implementation of prolog parallel execution on transputers
by: ZENG, ZHENG-GUO, et al.
Published: (1992)

Concurrent Prolog under an interpretation of distributed model
by: HUANG, SHEN-ZAI, et al.
Published: (1986)

Prolog implementation in robot kinematics
by: Zugel, John Martin
Published: (2014)

Design and implementation of a prolog-based frame system
by: 鄭福承
Published: (1989)

Design and implementation of A Prolog processor LISCP-Ⅱ
by: WU,KUN-CHENG, et al.
Published: (1991)

A control strategy for a Prolog interpreter
by: Rodenbaugh, David J
Published: (2011)

Design and Implementation of a MongoDB Driver for Prolog
by: Lundström, Sebastian
Published: (2011)

The Design and Implementation of a Prolog Parser Using Javacc
by: Gupta, Pankaj
Published: (2002)

Detecting Prolog programming techniques using abstract interpretation
by: Bowles, Andrew W.
Published: (1992)

An implementation in Pascal: translation of Prolog into Pascal
by: Saraydin, Ahmet
Published: (2012)

A Prolog implementation of conceptual graphs
by: Maher, Peter E.
Published: (1987)

Design and implementation of a compilation system for RISC-style prolog machine
by: ZENG,ZHONG-YING, et al.
Published: (1991)

xpProlog : high performance extended pure prolog
by: Lüdemann, Peter Gerald
Published: (2010)

And-parallel implementation of Prolog on distributed memory machines
by: Verden, Andrew Roy
Published: (1991)

Support logic programming and its implementation in Prolog
by: Monk, M. R. M.
Published: (1989)

Design and simulation of a prolog machine
by: 陳家和
Published: (1987)

The design of distributed Prolog inference system
by: ZHANG, YU-LING, et al.
Published: (1988)

Alabamaskogen : Prolog
by: Ek, Oskar
Published: (2020)

Compilador de SQL para Prolog escrito em Prolog
by: Mouta, Fernando Augusto C. e S.
Published: (1987)

Wam based space efficient Prolog implementation in Lisp
by: Honorato, Mauro Jacob
Published: (2016)

A Prolog implementation of an object-oriented database system
by: Paton, Norman William
Published: (1989)

Design and application of the object-oriented PROLOG language
by: 詹明傑
Published: (1990)

Programming in PROLOG : an in-depth study of problems for beginners learning to program in Prolog
by: Taylor, Josephine Annette
Published: (1988)

The design of a parallel execution processor for Prolog
by: WANG, ZONG-YI, et al.
Published: (1986)

Object-oriented prolog : design and implementatioin issues
by: Cloutier, Jean-François, 1959-
Published: (1989)

The design of a virtual fact base for Prolog
by: Haugh, J. Steven
Published: (2014)

An environment for prolog reusability
by: 沈添賜
Published: (1989)

Rotations in the Plane and Prolog.
by: Csenki, Attila
Published: (2009)

Exploiting and/or Parallelism in Prolog
by: Shah, Bankim
Published: (1991)

Prolog (zum Forum)
by: Jurišić, Jasna
Published: (2006)

Studies of and/or parallelism in Prolog
by: Shen, Kish
Published: (1992)

Persistence and modularity in PROLOG
by: Moffatt, D. S.
Published: (1988)

Declarative programming in PROLOG
by: Felician ALECU
Published: (2014-03-01)

Practicable Prolog specialisation
by: Craig, Stephen-John
Published: (2005)

Prolog and expert systems
by: Davies, Peter Leslie
Published: (1987)

Software visualization in Prolog
by: Grant, C. A. McK.
Published: (2000)

Kamakã em Prolog
by: Grahl, João Arthur Pugsley
Published: (2009)