✦ LIBER ✦

A parallel Prolog resolution based on multiple unifications

✍ Scribed by I Vlahavas; P Kefalas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An abstract prolog machine based on para

✍ I. Vlahavas; P. Kefalas 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 410 KB

P-Prolog: A parallel logic language base

✍ Rong Yang; Hideo Aiso 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 720 KB

Or-parallel Prolog on a distributed memo

✍ Fernando Silva; Paul Watson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 150 KB

A prolog machine based on vlsi algorithm

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

A note on the parallel complexity of ant

✍ G. M. Kuper; K. W. McAloon; K. V. Palem; K. J. Perry 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 461 KB

A model cosmology based on gravity-elect

✍ John E. Brandenburg 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 785 KB