A prototype software simulator for FGHC (English)
National licence
- New search for: Ohara, Y.
- New search for: Torii, S.
- New search for: Ono, E.
- New search for: Kishishita, M.
- New search for: Tanaka, J.
- New search for: Miyazaki, T.
- New search for: Ohara, Y.
- New search for: Torii, S.
- New search for: Ono, E.
- New search for: Kishishita, M.
- New search for: Tanaka, J.
- New search for: Miyazaki, T.
In:
Logic Programming '86
;
46-57
;
1987
- Article/Chapter (Book) / Electronic Resource
-
Title:A prototype software simulator for FGHC
-
Contributors:Ohara, Y. ( author ) / Torii, S. ( author ) / Ono, E. ( author ) / Kishishita, M. ( author ) / Tanaka, J. ( author ) / Miyazaki, T. ( author )
-
Published in:Logic Programming '86 ; 46-57Lecture Notes in Computer Science ; 264 ; 46-57
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1987-01-01
-
Size:12 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Plan-based text generation in an on-line help systemKakiuchi, Takashi / Uehara, Kuniaki / Toyoda, Jun'ichi et al. | 1987
- 12
-
Inheritance hierarchy mechanism in prologAkama, Kiyoshi et al. | 1987
- 22
-
Kore : A hybrid knowledge programming environment for decision support based on a logic programming languageShintani, Toramatsu / Katayama, Yoshinori / Hiraishi, Kunihiko / Toda, Mitsuhiko et al. | 1987
- 34
-
Legal expert system — LES-2Yoshino, H. / Kagayama, S. / Ohta, S. / Kitahara, M. / Kondoh, H. / Nakakawaji, M. / Ishimaru, K. / Takao, S. et al. | 1987
- 46
-
A prototype software simulator for FGHCOhara, Y. / Torii, S. / Ono, E. / Kishishita, M. / Tanaka, J. / Miyazaki, T. et al. | 1987
- 58
-
A foundation of reasoning by analogy: Analogical union of logic programsHaraguchi, Makoto / Arikawa, Setsuo et al. | 1987
- 70
-
Logic interface system on navigational database systemsTakizawa, Makoto / Itoh, Hideaki / Moriya, Kunihiko et al. | 1987
- 81
-
Programming in modal logic: An extension of PROLOG based on modal logicSakakibara, Yasubumi et al. | 1987
- 92
-
On parallel programming methodology in GHCTakahashi, Kazuko / Kanamori, Tadashi et al. | 1987
- 104
-
An optimizing prolog compilerKomatsu, Hideaki / Tamura, Naoyuki / Asakawa, Yasuo / Kurokawa, Toshiaki et al. | 1987
- 116
-
A prolog based object oriented language SPOOL and its compilerYokoi, Shinji et al. | 1987
- 126
-
Development of C-Prolog compilerKakizaki, Ken'ichi / Uehara, Kuniaki / Toyoda, Jun'ichi et al. | 1987
- 137
-
A framework for interactive problem solving based on interactive query revisionOhki, Masaru / Takeuchi, Akikazu / Furukawa, Koichi et al. | 1987
- 147
-
Prolog computation model BPM and its debugger PROEDIT2Morishita, Shinichi / Numao, Masayuki et al. | 1987
- 159
-
Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicastingKoike, Hanpei / Tanaka, Hidehiko et al. | 1987
- 170
-
- Fleng Prolog - The language which turns supercomputers into parallel prolog machinesNilsson, Martin / Tanaka, Hidehiko et al. | 1987