✦ LIBER ✦

Design and simulation of a sequential Prolog machine

✍ Scribed by W. F. Clocksin

Book ID: 112976724
Publisher: Springer
Year: 1985
Tongue: English
Weight: 985 KB
Volume: 3
Category: Article
ISSN: 0288-3635
DOI: 10.1007/bf03037117

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The design and implementation of a perso

The design and implementation of a personal sequential inference machine: PSI

✍ Minoru Yokota; Akira Yamamoto; Kazuo Taki; Hiroshi Nishikawa; Shunichi Uchida 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 880 KB

Formalizing the design-trajectory of seq

Formalizing the design-trajectory of sequential machines

✍ R.J.Huis in 't Veld 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 831 KB

Concepts, design and performance analysi

Concepts, design and performance analysis of a parallel Prolog machine: J Beer Springer-Verlag (1990)

✍ P Singleton 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 117 KB

A prolog machine based on vlsi algorithm

A prolog machine based on vlsi algorithms

✍ Yasuro Shobatake; Hideo Aiso 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 711 KB

Design of Fail-Safe Sequential Machines

Design of Fail-Safe Sequential Machines Using Separable Codes

✍ Chuang, H.Y.H.; Das, S. 📂 Article 📅 1978 🏛 IEEE 🌐 English ⚖ 963 KB

Design and simulation of man-machine sys

Design and simulation of man-machine systems using network models

✍ J.F. Sherlock 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 692 KB

A n interactive computer aid for designing log/ca/networks representing air-traffic-control systems is described. Parallel activity streams can be described, the network functions being represented by CORAL procedures and by hierarchical sets of subnetworks. Dynamic visual checks can be made of syst