✦ LIBER ✦

A substitution based model for the implementation of PROLOG

✍ Scribed by Zhaoxiong Chen; Qingshi Gao

Book ID: 112947323
Publisher: Springer
Year: 1986
Tongue: English
Weight: 504 KB
Volume: 1
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02943305

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The design and implementation of DLOG, a

The design and implementation of DLOG, a Prolog-based knowledge representation system

✍ Randy Goebel 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 923 KB

A Proposal for a Distributed Model of GK

A Proposal for a Distributed Model of GKS Based on Prolog

✍ V. Milanese 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 943 KB

Prolog-based system for nursing staff sc

Prolog-based system for nursing staff scheduling implemented on a personal computer

✍ Mihoko Okada; Masahiko Okada 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 641 KB

An approach to the problem of nursing staff scheduling in a hospital is presented. For scheduling nurses, a variety of requirements with varied levels of significance has to be taken into account simultaneously. Because of the nature of the problem, where it is difficult to define what is the optima

The implementation of Fprolog—A fuzzy Pr

The implementation of Fprolog—A fuzzy Prolog interpreter

✍ T.P. Martin; J.F. Baldwin; B.W. Pilsworth 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 485 KB

Implementation of prolog databases and d

Implementation of prolog databases and database operation builtins in the WAM-Plus model

✍ Zhang Chenxi; Ci Yungui; Liu Bo 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 474 KB

Implementation of a teaching program for

Implementation of a teaching program for IR spectrometry in Lisp and Prolog

✍ G.J. Postma; B.G.M. Vandeginste; C.J.G. van Halen; G. Kateman 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 459 KB