Logic Programming '86 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540180241, 9783540477129

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

- Fleng Prolog - The language which turns supercomputers into parallel prolog machines

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_32 ◽

1987 ◽

pp. 170-179 ◽

Author(s):

Martin Nilsson ◽

Hidehiko Tanaka

Download Full-text

Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_31 ◽

1987 ◽

pp. 159-169

Author(s):

Hanpei Koike ◽

Hidehiko Tanaka

Keyword(s):

Inference Engine ◽

Parallel Inference

Download Full-text

A prolog based object oriented language SPOOL and its compiler

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_27 ◽

1987 ◽

pp. 116-125

Author(s):

Shinji Yokoi

Keyword(s):

Object Oriented

Download Full-text

Kore : A hybrid knowledge programming environment for decision support based on a logic programming language

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_19 ◽

1987 ◽

pp. 22-33 ◽

Author(s):

Toramatsu Shintani ◽

Yoshinori Katayama ◽

Kunihiko Hiraishi ◽

Mitsuhiko Toda

Keyword(s):

Decision Support ◽

Logic Programming ◽

Programming Language ◽

Programming Environment ◽

Logic Programming Language ◽

Hybrid Knowledge

Download Full-text

Inheritance hierarchy mechanism in prolog

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_18 ◽

1987 ◽

pp. 12-21

Author(s):

Kiyoshi Akama

Keyword(s):

Inheritance Hierarchy

Download Full-text

A framework for interactive problem solving based on interactive query revision

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_29 ◽

1987 ◽

pp. 137-146 ◽

Author(s):

Masaru Ohki ◽

Akikazu Takeuchi ◽

Koichi Furukawa

Keyword(s):

Problem Solving ◽

Interactive Query

Download Full-text

On parallel programming methodology in GHC

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_25 ◽

1987 ◽

pp. 92-103

Author(s):

Kazuko Takahashi ◽

Tadashi Kanamori

Keyword(s):

Parallel Programming ◽

Programming Methodology

Download Full-text

A prototype software simulator for FGHC

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_21 ◽

1987 ◽

pp. 46-57

Author(s):

Y. Ohara ◽

S. Torii ◽

E. Ono ◽

M. Kishishita ◽

J. Tanaka ◽

...

Keyword(s):

Prototype Software

Download Full-text

Legal expert system — LES-2

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_20 ◽

1987 ◽

pp. 34-45 ◽

Author(s):

H. Yoshino ◽

S. Kagayama ◽

S. Ohta ◽

M. Kitahara ◽

H. Kondoh ◽

...

Keyword(s):

Expert System ◽

Download Full-text

Programming in modal logic: An extension of PROLOG based on modal logic

Logic Programming '86 - Lecture Notes in Computer Science ◽

10.1007/3-540-18024-9_24 ◽

1987 ◽

pp. 81-91 ◽

Author(s):

Yasubumi Sakakibara

Keyword(s):

Download Full-text