Eiiti Wada (Ed.):
Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986.
Lecture Notes in Computer Science 264 Springer 1987, ISBN 3-540-18024-9
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yasubumi Sakakibara :
Programming in Modal Logic: An Extension of PROLOG based on Modal Logic.
81-91
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Shinji Yokoi :
A Prolog Based Object Oriented Language SPOOL and its Compiler.
116-125
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hanpei Koike ,
Hidehiko Tanaka :
Fast Execution Mechanisms of Parallel Inference Engine PIE: PIEpelined Goal Rewriting and Goal Multicasting.
159-169
export record as
dblp key:
data released under the ODC-BY 1.0 license
